diff --git a/tools/build.sh b/tools/build.sh index 735d0e13535225c13c422310d0e3ea7e8e502241..da11b89d39a111034099322c21659da8c1b3dfcc 100755 --- a/tools/build.sh +++ b/tools/build.sh @@ -46,8 +46,6 @@ OLDLISP="cmulisp -noinit" SKIPUTILS=no -set -x - usage () { echo "build-l4 [-123obvuC]"