Changes between Initial Version and Version 1 of Ticket #933, comment 3


Ignore:
Timestamp:
Jun 23, 2015, 1:27:07 PM (9 years ago)
Author:
Dimitar Misev

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #933, comment 3

    initial v1  
    1 I tried to fix it and for some reason it still fails on jenkins. Locally my fix works fine though. See attached patch.
     1I tried to fix it and for some reason it still fails on jenkins. Locally my fix works fine though. See attachment:0001-ticket-933-fix-bison-header-file-generation.patch​