sbin/build/compil-mdp-from-sources.sh
changeset 1451 9b146d9a7f78
parent 1447 470130d647cb
--- a/sbin/build/compil-mdp-from-sources.sh	Fri Oct 02 15:52:53 2015 +0200
+++ b/sbin/build/compil-mdp-from-sources.sh	Fri Oct 02 16:33:11 2015 +0200
@@ -1,15 +1,15 @@
+#!/usr/bin/env bash
 
-if [ $# -eq 0 ]
-  then
+set -e
+
+if [ $# -eq 0 ]; then
     echo "No argument was provided, looking for mdplayer_path"
-    if [ ! -f "mdplayer_path" ]
-      then
+    if [ ! -f "mdplayer_path" ]; then
         echo "Error: mdplayer_path file does not exist and no argument was provided"
         exit 1
     fi
     MDPLAYER_PATH=$(cat mdplayer_path)
-    if [ -z MDPLAYER_PATH ]
-      then
+    if [ -z "$MDPLAYER_PATH" ]; then
         echo "File is empty"
         exit 1
     fi