diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 22865148c51ae7db3e170d08c7c395eff3068682..7086d5d3153d4c1dbadb42ece17f45a8df02afdd 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -283,7 +283,7 @@ done
 shift;
 
 # Bail if no files to translate are given
-if test -z "$1"; then
+if [ -z "$1" ]; then
   error "no input files";
 fi
 
@@ -381,7 +381,7 @@ if [ -n "$OPTION_INSTRUMENT" ]; then
 fi
 
 # Compile
-if test -n "$OPTION_COMPILE"  ; then
+if [ -n "$OPTION_COMPILE" ]; then
   # Compile the original files only if the instrumentation option is given,
   # otherwise the provided sources are assumed to be E-ACSL instrumented files
   if [ -n "$OPTION_INSTRUMENT" ]; then