|
@@ -7,6 +7,11 @@
|
|
|
|
|
|
SPATCH="`which ${SPATCH:=spatch}`"
|
|
SPATCH="`which ${SPATCH:=spatch}`"
|
|
|
|
|
|
|
|
+if [ ! -x "$SPATCH" ]; then
|
|
|
|
+ echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'
|
|
|
|
+ exit 1
|
|
|
|
+fi
|
|
|
|
+
|
|
trap kill_running SIGTERM SIGINT
|
|
trap kill_running SIGTERM SIGINT
|
|
declare -a SPATCH_PID
|
|
declare -a SPATCH_PID
|
|
|
|
|
|
@@ -51,11 +56,6 @@ if [ "$KBUILD_EXTMOD" != "" ] ; then
|
|
OPTIONS="--patch $srctree $OPTIONS"
|
|
OPTIONS="--patch $srctree $OPTIONS"
|
|
fi
|
|
fi
|
|
|
|
|
|
-if [ ! -x "$SPATCH" ]; then
|
|
|
|
- echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'
|
|
|
|
- exit 1
|
|
|
|
-fi
|
|
|
|
-
|
|
|
|
if [ "$MODE" = "" ] ; then
|
|
if [ "$MODE" = "" ] ; then
|
|
if [ "$ONLINE" = "0" ] ; then
|
|
if [ "$ONLINE" = "0" ] ; then
|
|
echo 'You have not explicitly specified the mode to use. Using default "report" mode.'
|
|
echo 'You have not explicitly specified the mode to use. Using default "report" mode.'
|