37 |
hostname = re.sub("[^0-9a-zA-Z]", "_", socket.gethostname().split('.')[0]) |
hostname = re.sub("[^0-9a-zA-Z]", "_", socket.gethostname().split('.')[0]) |
38 |
tmp = os.path.join("scons",hostname+"_options.py") |
tmp = os.path.join("scons",hostname+"_options.py") |
39 |
options_file = ARGUMENTS.get('options_file', tmp) |
options_file = ARGUMENTS.get('options_file', tmp) |
40 |
if not os.path.isfile(options_file): options_file = False |
if not os.path.isfile(options_file): |
41 |
else: print "Options file is", options_file |
options_file = False |
42 |
|
print "Options file not found" |
43 |
|
else: |
44 |
|
print "Options file is", options_file |
45 |
|
|
46 |
# Load options file and command-line arguments |
# Load options file and command-line arguments |
47 |
opts = Options(options_file, ARGUMENTS) |
opts = Options(options_file, ARGUMENTS) |