Hora extra no feriado

Dia 11/10 o porteiro entrou as 23 hs e saiu às 5 hs do dia 12/10, ai no mesmo dia (12 - feriado) o folguista entrou às 23 hs (pois era folga do porteiro) e saiu as 5 hs do dia 13/10. A administradora pagou Hora extra 100% para ps dois, ou seja um feriado e pagamos em dobro, pois se o porteiro não tivesse folga pagaria somente 6 hs extras. O que é correto nesse caso ???