import os | |
import string | |
import sys | |
def system( commands ): | |
if sys.platform == 'win32': | |
f = open( 'tmp.cmd', 'w' ) | |
f.write( string.join( commands, '\n' ) ) | |
f.close() | |
rc = os.system( 'tmp.cmd' ) | |
return rc | |
else: | |
rc = os.system( '&&'.join( commands ) ) | |
return rc | |
def checked_system( commands, valid_return_codes = [ 0 ] ): | |
rc = system( commands ) | |
if rc not in [ 0 ] + valid_return_codes: | |
raise Exception( 'Command sequence "%s" failed with return code %d' % ( commands, rc ) ) | |
return rc |