chiark / gitweb /
fix new build script
[jarrg-ian.git] / build-sh
index eb3d1e2e2da1e38324cfa60e0ddfcc96b3670839..51c5dd1b267a418f448b6d44ce3ef48fc4d076f2 100755 (executable)
--- a/build-sh
+++ b/build-sh
@@ -5,7 +5,7 @@
 set -e
 
 case "$#.$1" in
-0    ;;
+0.)    ;;
 *.-*)  echo >&2 'no options allowed'; exit 1;;
 *)     echo >&2 'no arguments allowed'; exit 1;;
 esac