aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKylie McClain <kylie@somas.is>2020-07-07 08:46:07 -0400
committerKylie McClain <kylie@somas.is>2020-07-07 09:33:53 -0400
commit6af537ae4dc00159564b566255dc0793c982e411 (patch)
tree514b47f7e9e9888e4ac41bb0a7b4a0afd48b124e
parent721819850c2a3bd3e59a0abf8fc00c8563cf4efb (diff)
downloadpraxis-6af537ae4dc00159564b566255dc0793c982e411.tar.gz
praxis-6af537ae4dc00159564b566255dc0793c982e411.tar.xz
praxis-6af537ae4dc00159564b566255dc0793c982e411.zip
theory-construct-action: style
-rwxr-xr-xtheory-construct-action.in4
1 files changed, 1 insertions, 3 deletions
diff --git a/theory-construct-action.in b/theory-construct-action.in
index bd01eb9..90b5bf3 100755
--- a/theory-construct-action.in
+++ b/theory-construct-action.in
@@ -22,9 +22,7 @@ shift $(( OPTIND - 1 ))
[ "$#" -gt 0 ] || myusage
while [ "$#" -gt 0 ]; do
- if ! is_theory_dir "${1}"; then
- die 2 "'${1}' is not a directory containing a package or library"
- fi
+ is_theory_dir "${1}" || die 2 "'${1}' is not a directory containing an action or library"
if "${recurse}" && [ -r "${1}"/libraries ]; then
# TODO(somasis): arguments are not used for anything yet.