We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e812e30 commit f0deb0fCopy full SHA for f0deb0f
doc/indent
@@ -5,7 +5,7 @@
5
# World Builder, the same indenting program (astyle) and version (2.04) is used
6
# to indent the files of the World Builder.
7
8
-if test ! -d source -o ! -d include ; then
+if test ! -d source -o ! -d include/world_builder -d include/visualization -d include/app ; then
9
echo "Error: The indenting script must be run from the top level directory of the World Builder."
10
exit
11
fi
0 commit comments