aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xsbolint7
1 files changed, 4 insertions, 3 deletions
diff --git a/sbolint b/sbolint
index fe0f3d9..4711a30 100755
--- a/sbolint
+++ b/sbolint
@@ -813,9 +813,10 @@ sub check_slackdesc {
} elsif(length($text) && $text !~ /^ /) {
log_error("slack-desc:$lineno: missing whitespace after colon, on non-blank line");
} else {
- if($text =~ /\s$/) {
- log_error("slack-desc:$lineno: trailing whitespace on description line");
- }
+ # The world is not ready for this:
+ ###if($text =~ /\s$/) {
+ ### log_error("slack-desc:$lineno: trailing whitespace on description line");
+ ###}
if(length($text) > 71) {
log_error("slack-desc:$lineno: text too long, %d characters, should be <= 71", length($text));
}