98d891d Work around broken linux-user build on ppc

Authored and Committed by markmc 14 years ago
    Work around broken linux-user build on ppc
    
        
file modified
+6 -1