File tree 1 file changed +4
-4
lines changed
1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -35,11 +35,8 @@ if (exists($ENV{"CHPL_HOME"})) {
35
35
$script_dir = dirname($0 );
36
36
$chplhome = abs_path(" $script_dir /../.." );
37
37
38
- # We set $CHPL_HOME because `make docs` depends on it
39
- $ENV {" CHPL_HOME" }=$chplhome ;
40
38
}
41
39
42
- print " CHPL_HOME is set to: $ENV {'CHPL_HOME'}\n " ;
43
40
44
41
# If CHPL_GEN_RELEASE_NO_CLONE is set in environment, do not clone the repo and
45
42
# just use $CHPL_HOME as the work space.
@@ -168,8 +165,11 @@ chdir "$archive_dir";
168
165
print " Building the docs...\n " ;
169
166
# Set CHPL_COMM to none to avoid issues with gasnet generated makefiles not
170
167
# existing because we haven't built the third-party libs
168
+ $ENV {CHPL_HOME } = " $archive_dir " ;
171
169
$ENV {CHPL_COMM } = " none" ;
172
- SystemOrDie(" make docs" );
170
+ print " CHPL_HOME is set to: $ENV {'CHPL_HOME'}\n " ;
171
+
172
+ SystemOrDie(" make -j docs" );
173
173
SystemOrDie(" mv doc/sphinx/build/html doc/release" );
174
174
SystemOrDie(" make clobber" );
175
175
You can’t perform that action at this time.
0 commit comments