aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xsbolint6
1 files changed, 6 insertions, 0 deletions
diff --git a/sbolint b/sbolint
index 1debcda..ae90327 100755
--- a/sbolint
+++ b/sbolint
@@ -1211,6 +1211,9 @@ sub check_script {
} elsif($cdpkg && /^[^#]*mkdir[^#]*install/) {
$install = $lineno;
} elsif(/^[^#]*makepkg/) {
+ if(/\$\{PKGTYPE:-/) {
+ log_error("$file:$lineno: makepkg PKGTYPE doesn't match 15.0 template");
+ }
if($makepkg) {
log_error("$file:$lineno: makepkg called twice (here and line $makepkg");
}
@@ -1241,6 +1244,9 @@ sub check_script {
# 20230204 bkw: more 15.0 template
if(/^PKGTYPE=/) {
$pkg_type = $lineno;
+ if(not /:-tgz/) {
+ log_error("$file:$lineno: PKGTYPE doesn't default to tgz");
+ }
}
if((not defined $arch_lineno) && (/\bARCH=/)) {