aboutsummaryrefslogtreecommitdiff
path: root/sbolint
diff options
context:
space:
mode:
Diffstat (limited to 'sbolint')
-rwxr-xr-xsbolint2
1 files changed, 1 insertions, 1 deletions
diff --git a/sbolint b/sbolint
index 8a4463a..c9f65bc 100755
--- a/sbolint
+++ b/sbolint
@@ -1837,7 +1837,7 @@ sub check_doinst {
next unless /./;
if(/chmod/) {
- log_error("$file:$lineno: doinst.sh must not use chmod; set file permissions while building the package.");
+ log_note("$file:$lineno: doinst.sh should not use chmod; set file permissions while building the package.");
} elsif(/\$\{?PKG\}?/ || /"\$PKG"/) {
log_error("$file:$lineno: doinst.sh must not use \$PKG; package root is the current directory.");
} elsif(/^config\(\)/) {