Release coccinelle-0.1.6a

[bpt/coccinelle.git] / scripts / spatch.sh

diff --git a/scripts/spatch.sh b/scripts/spatch.sh
dissimilarity index 67%
index 18461e5..dd53353 100644 (file)
--- a/scripts/spatch.sh
+++ b/scripts/spatch.sh
@@ -1,20 +1,21 @@
-#!/bin/bash
-
-echo setting COCCINELLE_HOME=${COCCINELLE_HOME:=SHAREDIR}
-
-if [ ! -r $COCCINELLE_HOME/standard.iso ] ; then
-    echo "There is no standard.iso in SHAREDIR."
-    echo "Are you sure you run a properly installed version of spatch ?\n"
-else
-
- export COCCINELLE_HOME
- export LD_LIBRARY_PATH=$COCCINELLE_HOME:$LD_LIBRARY_PATH
- export PYTHONPATH=$COCCINELLE_HOME/python:$PYTHONPATH
- 
- echo setting LD_LIBRARY_PATH=$LD_LIBRARY_PATH
- echo setting PYTHONPATH=$PYTHONPATH
-
-fi
-
-$COCCINELLE_HOME/spatch.opt $*
-
+#!/bin/sh
+
+COCCINELLE_HOME=${COCCINELLE_HOME:=SHAREDIR}
+#echo setting COCCINELLE_HOME=${COCCINELLE_HOME:=SHAREDIR}
+
+if [ ! -r "$COCCINELLE_HOME"/standard.iso ] ; then
+    echo "There is no standard.iso in SHAREDIR."
+    echo "Are you sure you run a properly installed version of spatch ?\n"
+else
+
+ export COCCINELLE_HOME
+ export LD_LIBRARY_PATH="$COCCINELLE_HOME:$LD_LIBRARY_PATH"
+ export PYTHONPATH="$COCCINELLE_HOME/python:$PYTHONPATH"
+ 
+# echo setting LD_LIBRARY_PATH="$LD_LIBRARY_PATH"
+# echo setting PYTHONPATH="$PYTHONPATH"
+
+fi
+
+"$COCCINELLE_HOME"/spatch.opt "$@"
+