Coccinelle release 1.0.0-rc15

[bpt/coccinelle.git] / setup / fake-pdflatex.sh

diff --git a/setup/fake-pdflatex.sh b/setup/fake-pdflatex.sh
index 33cbb7d..1effb59 100755 (executable)
--- a/setup/fake-pdflatex.sh
+++ b/setup/fake-pdflatex.sh
@@ -1,16 +1,18 @@
-#!/bin/sh -e
+#! /bin/sh -e
+
+set -e
 
 # If you don't have pdflatex installed, but do have the generated pdf files, then
 # this script provides those pdf files as a substitute for the pdflatex invocation.
 
 for arg in "$@"; do
-  basename="${arg%.*}"
-  extension="${arg##*.}"
+  base="${arg%.*}"
+  ext="${arg##*.}"
 
-  if test "x$extension" = xtex; then
-    if test -f "${basename}.pdf"; then
-      echo "fake-pdflatex.sh: ${basename}.pdf provided as substitute for: $@"
-      touch "${basename}.pdf"
+  if test "x$ext" = xtex; then
+    if test -f "${base}.pdf"; then
+      echo "fake-pdflatex.sh: ${base}.pdf provided as substitute for: $@"
+      touch "${base}.pdf"
       exit 1
     fi
   fi