aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xsbolint4
1 files changed, 2 insertions, 2 deletions
diff --git a/sbolint b/sbolint
index dec7d46..3b252dc 100755
--- a/sbolint
+++ b/sbolint
@@ -1257,7 +1257,7 @@ sub check_script {
}
} elsif(/^TMP=(\S+)/) {
$tmp = dequote($1);
- if($tmp ne '${TMP:-/tmp/SBo}') {
+ if($tmp !~ m,\$\{TMP:-(?:/tmp/SBo|(["'])/tmp/SBo\1)\},) {
log_error("$file:$lineno: TMP=\${TMP:-/tmp/SBo} is required");
}
} elsif(/^PKG=(\S+)/) {
@@ -1267,7 +1267,7 @@ sub check_script {
}
} elsif(/^OUTPUT=(\S+)/) {
$output = dequote($1);
- if($output ne '${OUTPUT:-/tmp}') {
+ if($output !~ m,\$\{OUTPUT:-(?:/tmp|(["'])/tmp\1)\},) {
log_error("$file:$lineno: OUTPUT=\${OUTPUT:-/tmp} is required");
}
} elsif(/^[^#]*\$\{?CWD\}?\/doinst\.sh/) {