cc55b67 Fix sepolgen-ifgen call

Authored and Committed by dwalsh 13 years ago
    Fix sepolgen-ifgen call
    
        
file modified
+57 -46
file modified
+4 -1