diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index dc270bb7d092e5f70cb7695d5008f95273d9b4e7..dae2bc058f46bdb1c0fd7a49dc1fdf08737adbc0 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -56,6 +56,9 @@ ERROR="ERROR parsing arguments:"
 # architecture we need to make sure that same architecture is used for
 # instrumentation and for compilation.
 MACHDEPFLAGS="`getconf LONG_BIT`"
+# Check if getconf gives out the value accepted by Frama-C/GCC
+echo "$MACHDEPFLAGS" | grep '16\|32\|64' \
+  || error "$MACHDEPFLAGS-bit architecture not supported"
 # -machdep option sent to frama-c
 MACHDEP="-machdep gcc_x86_$MACHDEPFLAGS"
 # Macro for correct preprocessing of Frama-C generated code