sbolint: demote doinst.sh chmod check to a note.

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\(\)/) {