updating to slurm 19.05.0-0pre3

compile_slurm.sh

@@ -5,7 +5,7 @@
 
 # retrieving sources
 
-if [ "${SLURM_RELEASE_SPEC}" -ne "1" ]; then
+if [ "${SLURM_RELEASE_SPEC}" != "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