File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -93,7 +93,7 @@ sub safe_system {
93
93
94
94
# Get the coverity tool, put it in our path.
95
95
96
- my $cdir = " /home/common/mpiteam /coverity" ;
96
+ my $cdir = " $ENV {HOME} /coverity" ;
97
97
safe_system(0, " mkdir $cdir " )
98
98
if (! -d $cdir );
99
99
Original file line number Diff line number Diff line change 36
36
build_root=$HOME /pmix/nightly-tarball-build-root
37
37
38
38
# Coverity stuff
39
- coverity_token=` cat /home/common/mpiteam /coverity/pmix-token.txt`
40
- coverity_configure_args=" --with-libevent=/home/common/local "
39
+ coverity_token=` cat $HOME /coverity/pmix-token.txt`
40
+ coverity_configure_args=" --with-libevent=$HOME_PREFIX "
41
41
42
42
export PATH=$HOME_PREFIX /bin:$PATH
43
43
export LD_LIBRARY_PATH=$HOME_PREFIX /lib:$LD_LIBRARY_PATH
You can’t perform that action at this time.
0 commit comments