Cuando se cobra la paga extraordinaria de verano con un ERTE total?

La empresa donde trabajaba hizo a finales de Marzo un ERTE total a todos los trabajadores. A finales de Mayo sacó del ERTE a algunos trabajadores pasándolos de total a parcial y otros hemos quedado en total, en principio, hasta Octubre. La paga extraordinaria de verano cada año la cobramos a finales de Julio. Este año, aunque estemos en un ERTE total, ¿la empresa nos pagará esta paga también en Julio o hasta que volvamos a trabajar de nuevo?