Now the build for the --with-no-global-partition option is checked.
This commit is contained in:
parent
7696b865ff
commit
a873e66508
@ -64,7 +64,7 @@ mv -f debug.??? $output_dir
|
||||
# temporarily change word delimeter in order to have spaces in options
|
||||
tmpIFS=$IFS
|
||||
IFS=:
|
||||
configure_opts="--with-babel --enable-debug:--without-MPI:--with-strict-checking: "
|
||||
configure_opts="--with-babel --enable-debug:--without-MPI:--with-strict-checking:--with-no-global-partition: "
|
||||
for opt in $configure_opts
|
||||
do
|
||||
# only use first part of $opt for subdir name
|
||||
|
||||
Loading…
Reference in New Issue
Block a user