Paga extra de julio y ertes?

¿Cuándo se cobra la paga extra de julio estando de erte?. Llevo desde Marzo con Erte y no se si la empresa me la habrá de pagar cuando me levante el erte, o me hará el ingreso estando de erte. Es algo que no se si está regulado.