|
@@ -4,7 +4,7 @@
|
|
# loops over entire GRASS source code tree and indents source code according to SUBMITTING rules
|
|
# loops over entire GRASS source code tree and indents source code according to SUBMITTING rules
|
|
|
|
|
|
#are we in the tools/ dir? We should not.
|
|
#are we in the tools/ dir? We should not.
|
|
-if [ -d tools ] ; then
|
|
|
|
|
|
+if [ ! -d tools ] ; then
|
|
echo "ERROR: this script must be run from the main GRASS source code directory" >&2
|
|
echo "ERROR: this script must be run from the main GRASS source code directory" >&2
|
|
exit 1
|
|
exit 1
|
|
fi
|
|
fi
|