76 |
|
# Make sure the JSOCROOT is PROD_ROOTDIR + '/JSOC' |
77 |
|
os.environ['JSOCROOT'] = PROD_ROOTDIR + '/JSOC' |
78 |
|
|
79 |
– |
# Unset 'GLOBALHSTAGOVERRIDE' |
80 |
– |
if 'GLOBALHSTAGOVERRIDE' in os.environ: |
81 |
– |
del os.environ['GLOBALHSTAGOVERRIDE'] |
82 |
– |
|
79 |
|
try: |
80 |
|
with Chdir(PROD_ROOTDIR + '/' + WAYSTATION + '/JSOC') as ret: |
81 |
|
# os.chdir does NOT change the environment variable $PWD. But our make system relies on PWD being the current directory. |
82 |
|
os.environ['PWD'] = os.path.realpath(os.getcwd()) |
83 |
+ |
|
84 |
+ |
# Set 'GLOBALHSTAGOVERRIDE' |
85 |
+ |
if 'GLOBALHSTAGOVERRIDE' in os.environ: |
86 |
+ |
del os.environ['GLOBALHSTAGOVERRIDE'] |
87 |
+ |
os.environ['GLOBALHSTAGOVERRIDE'] = 'globalhs' |
88 |
|
|
89 |
|
if optD['full']: |
90 |
|
cmdList = ['./configure'] |
97 |
|
cmdList = ['/usr/bin/make', 'dsds'] |
98 |
|
check_call(cmdList) |
99 |
|
if optD['full']: |
100 |
+ |
# Unset 'GLOBALHSTAGOVERRIDE' |
101 |
+ |
if 'GLOBALHSTAGOVERRIDE' in os.environ: |
102 |
+ |
del os.environ['GLOBALHSTAGOVERRIDE'] |
103 |
+ |
|
104 |
|
cmdList = ['/usr/bin/make', 'globalhs',] |
105 |
|
check_call(cmdList) |
106 |
|
|