18a3e99 Revert "Build bootstrap version without menhir"

Authored and Committed by rjones 2 years ago
    Revert "Build bootstrap version without menhir"
    
    I thought that would disable menhir, in fact it enables it.
    
    This reverts commit 39c2970231490195fae9ff9e904c62e93e8edde0.
    
        
file modified
+1 -4