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