commit baa07d030311bd80b603417add738ecddbd0be3a
parent 5de0e0f5260c457f84ca99abc34862b4e306f963
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date: Tue, 30 Jun 2020 11:20:22 +0200
Remove unused verbose option
Diffstat:
1 file changed, 0 insertions(+), 5 deletions(-)
diff --git a/.local/bin/compile b/.local/bin/compile
@@ -7,7 +7,6 @@ show_help() {
echo
echo "OPTIONS are one or more of the following:"
echo " -h show this message"
- echo " -v show verbose information"
echo " -c continuously recompile upon file changes"
echo " -o open output file after compiling"
echo " -- do not consider any following args as options"
@@ -116,7 +115,6 @@ handle_target() {
fi
}
-verbose=0
continuous=0
open=0
while :; do
@@ -125,9 +123,6 @@ while :; do
show_help
exit 0
;;
- -v)
- verbose=1
- ;;
-c)
continuous=1
;;