indentation in build script

This commit is contained in:
Axel Uhl committed 2013-12-05 09:54:35 +01:00
1 parent c7727e92bd
commit 0ee3accc15
1 file changed
+1 -1
+1 -1
View File
@@ -132,7 +132,7 @@ do
case $option in
g) gwtcompile=0;;
t) testing=0;;
b) onegwtpermutationonly=1;;
b) onegwtpermutationonly=1;;
o) offline=1;;
c) clean="";;
p) proxy=1;;