aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKylie McClain <kylie@somas.is>2020-07-07 08:49:54 -0400
committerKylie McClain <kylie@somas.is>2020-07-07 09:33:53 -0400
commit271df26932b3a5182522e1f57901d250ef804b29 (patch)
tree5510e47434cc1749c1b197dee40afc46c464a4d0
parentd0a085d60bdd6e39faea3c61dad3549c306f64d2 (diff)
downloadpraxis-271df26932b3a5182522e1f57901d250ef804b29.tar.gz
praxis-271df26932b3a5182522e1f57901d250ef804b29.tar.xz
praxis-271df26932b3a5182522e1f57901d250ef804b29.zip
theory-construct-metadata: adjust for shortened name
-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 e8bf6c2..1a43902 100755
--- a/theory-construct-metadata.in
+++ b/theory-construct-metadata.in
@@ -25,7 +25,7 @@ while [ "$#" -gt 0 ]; do
is_theory_dir "${1}" || die 2 "'${1}' is not a directory containing a package or library"
resolved_dir=$(readlink -f "${1}")
- if is_package_dir "${resolved_dir}"; then
+ if is_pkg_dir "${resolved_dir}"; then
THEORY=$(basename "${resolved_dir}")
PN="${THEORY##*/}"
PV="${PN#*#}"