Don't build slurm if not present - platform file change only
This commit was SVN r31571.
This commit is contained in:
parent
8cda1b3dc6
commit
a286977eff
@ -4,7 +4,7 @@ enable_mem_debug=no
|
||||
enable_mem_profile=no
|
||||
enable_debug_symbols=yes
|
||||
enable_binaries=yes
|
||||
enable_heterogeneous=yes
|
||||
enable_heterogeneous=no
|
||||
enable_picky=yes
|
||||
enable_debug=yes
|
||||
enable_shared=yes
|
||||
@ -27,4 +27,6 @@ with_valgrind=no
|
||||
if [ -n "$SLURMHOME" ] ; then
|
||||
with_slurm=$SLURMHOME
|
||||
with_pmi=$SLURMHOME
|
||||
else
|
||||
with_slurm=no
|
||||
fi
|
||||
|
Loading…
Reference in New Issue
Block a user