7d2c8bd added --without-debug option

Authored and Committed by Jakub Dorňák 10 years ago
    added --without-debug option
    
    Related: #669835
    
        
file modified
+15 -9