7beb5fa Fix the scons patch broken by my previous commit

Authored and Committed by lkundrak 15 years ago
    Fix the scons patch broken by my previous commit
    
        
file modified
+11 -15