diff options
| -rwxr-xr-x | sbolint | 4 | 
1 files changed, 2 insertions, 2 deletions
| @@ -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/) { | 
