e7f45f8 Added -vl to get more useful build logs from GPRbuild.

Authored and Committed by Björn Persson 6 years ago
    Added -vl to get more useful build logs from GPRbuild.
    
        
file modified
+4 -2