chiark
/
gitweb
/
~mdw
/
profile
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
853d855
)
bin/mdw-build: Remove vestigial `-r' option.
author
Mark Wooding
<mdw@distorted.org.uk>
Tue, 4 Sep 2018 23:34:17 +0000
(
00:34
+0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Tue, 4 Sep 2018 23:34:17 +0000
(
00:34
+0100)
It doesn't actually work, but is mentioned in the help synopsis and
`getopts' call.
bin/mdw-build
patch
|
blob
|
blame
|
history
diff --git
a/bin/mdw-build
b/bin/mdw-build
index 62edc4d19f9746e362aa5da4ea7ce34d5a7381fe..2bb7bb1c1fbd6f2a93a02e254d6e87c4a54f3ded 100755
(executable)
--- a/
bin/mdw-build
+++ b/
bin/mdw-build
@@
-96,7
+96,7
@@
prog=${0##*/}
usage () {
cat <<EOF
-Usage: $prog [-v
r
] BUILDOPT
+Usage: $prog [-v] BUILDOPT
Build options:
@@
-117,7
+117,7
@@
EOF
## Parse simple options.
verbose=no
-while getopts "hv
r
" opt; do
+while getopts "hv" opt; do
case "$opt" in
h) usage; exit 0 ;;
v) verbose=yes ;;