0ee0d36 fix build-tools tweaking

Authored and Committed by petersen 9 years ago
    fix build-tools tweaking
    
        
file modified
+3 -3