Horário da portaria

Nosso porteiro sempre fez 45 min de pausa ao invés de 1 hora. Ele teria direito a receber a diferença de 15 min como hora extra, apesar de sua jornada semanal ser 43:30? Ou teria direito de receber apenas a diferença de 60 minutos semanais (a diferença entre a jornada de 44 horas e os 15 min que ele trabalhou a mais por semana)?