aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKylie McClain <kylie@somas.is>2020-07-07 08:46:18 -0400
committerKylie McClain <kylie@somas.is>2020-07-07 09:33:53 -0400
commitb7424ea3e39f5a9b9850bc4e056b9230326e481b (patch)
tree429af4e5ef034510615e996cb1d4a84cd560d1d1
parent6af537ae4dc00159564b566255dc0793c982e411 (diff)
downloadpraxis-b7424ea3e39f5a9b9850bc4e056b9230326e481b.tar.gz
praxis-b7424ea3e39f5a9b9850bc4e056b9230326e481b.tar.xz
praxis-b7424ea3e39f5a9b9850bc4e056b9230326e481b.zip
theory-construct-metadata: remove leftover unused options
-rwxr-xr-xtheory-construct-metadata.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/theory-construct-metadata.in b/theory-construct-metadata.in
index 05d1340..e8bf6c2 100755
--- a/theory-construct-metadata.in
+++ b/theory-construct-metadata.in
@@ -6,7 +6,7 @@
myusage() { usage "theory-construct-metadata [-r] THEORY..."; }
recurse=false
-while getopts :a:o:r arg >/dev/null 2>&1; do
+while getopts :r arg >/dev/null 2>&1; do
case "${arg}" in
r)
recurse=true