Improve Linux scripts

diff --git a/config.sh b/config.sh
index 9e4a5113d8fe327758215a418b2756a1f99ed6e4..cf1ae4a915702d5aff59fe180ce2e6df4844632d 100755 (executable)
--- a/config.sh
+++ b/config.sh
@@ -6,15 +6,20 @@ echo "#!/bin/bash -ex" >> env_config.sh
 
 PLATFORM=""
 if [ -f PLATFORM ]; then
-PLATFORM="$(lsb_release -is)"
-RELEASE="$(lsb_release -rs)"
-if [ "${PLATFORM}" = 'CentOS' ]; then PLATFORM=-centos
-elif [ "${PLATFORM}" = 'Debian' ]; then
-  if [ "${RELEASE}" = '8.0' ]; then PLATFORM=-d8
-  else PLATFORM=-d6
+  PLATFORM="$(lsb_release -is)"
+  RELEASE="$(lsb_release -rs)"
+  if [ "${PLATFORM}" = 'CentOS' ]; then PLATFORM=-centos
+  elif [ "${PLATFORM}" = 'Debian' ]; then
+    if [ "${RELEASE}" = '8.0' ]; then PLATFORM=-d8
+    else PLATFORM=-d6
+    fi
   fi
 fi
+
+if [ -f DEBUG ]; then
+  PLATFORM=${PLATFORM}_d
 fi
+
 echo "export PLATFORM=${PLATFORM}" >> env_config.sh
 
 main() {