|
@@ -29,10 +29,14 @@ else
|
|
|
if [ "$KBUILD_EXTMOD" = "" ] ; then
|
|
if [ "$KBUILD_EXTMOD" = "" ] ; then
|
|
|
OPTIONS="-dir $srctree $COCCIINCLUDE"
|
|
OPTIONS="-dir $srctree $COCCIINCLUDE"
|
|
|
else
|
|
else
|
|
|
- OPTIONS="-dir $KBUILD_EXTMOD -patch $srctree $COCCIINCLUDE"
|
|
|
|
|
|
|
+ OPTIONS="-dir $KBUILD_EXTMOD $COCCIINCLUDE"
|
|
|
fi
|
|
fi
|
|
|
fi
|
|
fi
|
|
|
|
|
|
|
|
|
|
+if [ "$KBUILD_EXTMOD" != "" ] ; then
|
|
|
|
|
+ OPTIONS="-patch $srctree $OPTIONS"
|
|
|
|
|
+fi
|
|
|
|
|
+
|
|
|
if [ ! -x "$SPATCH" ]; then
|
|
if [ ! -x "$SPATCH" ]; then
|
|
|
echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'
|
|
echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'
|
|
|
exit 1
|
|
exit 1
|