updating to slurm 19.05.0-0pre3

SLURM_INFOS

 #
 # SLURM RELATED
 #
-export SLURM_VERSION="18-08-7-1"
-export SLURM_VERSION_SPEC="18.08.7"
-export SLURM_RELEASE_SPEC="1"
+export SLURM_VERSION="19-05-0-0pre3"
+export SLURM_VERSION_SPEC="19.05.0"
+export SLURM_RELEASE_SPEC="0pre3"
 export SLURM_URL="https://github.com/SchedMD/slurm"
 export SLURM_DEST_ARCH="x86_64"
 export SLURM_OPTIONS=""

compile_slurm.sh

@@ -5,7 +5,7 @@
 
 # retrieving sources
 
-if [ ${SLURM_RELEASE_SPEC} -gt 1 ]; then
+if [ ${SLURM_RELEASE_SPEC} -ne 1 ]; then
 	/usr/bin/git clone -b slurm-${SLURM_VERSION} ${SLURM_URL} ${TOP_DIR}/SOURCES/slurm-${SLURM_VERSION_SPEC}-${SLURM_RELEASE_SPEC}
 
 	/usr/bin/sed -i "s|^Name:.*|Name: slurm|g" ${TOP_DIR}/SOURCES/slurm-${SLURM_VERSION_SPEC}-${SLURM_RELEASE_SPEC}/slurm.spec