486dd7a The exec_prefix seems to be correct now.

Authored and Committed by vondruch 11 years ago
    The exec_prefix seems to be correct now.
    
        
file modified
+0 -5