]> gitweb.michael.orlitzky.com - mjotex.git/commitdiff
GNUmakefile: update a bug reference in a comment.
authorMichael Orlitzky <michael@orlitzky.com>
Fri, 4 Oct 2019 21:57:40 +0000 (17:57 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Fri, 4 Oct 2019 21:57:40 +0000 (17:57 -0400)
GNUmakefile

index 3456c4d9c2f396d439345805b109ff52d3f6db75..19bde1dde27846e2d2234df9ec3f87508cf0f246 100644 (file)
@@ -186,7 +186,7 @@ check-boxes: $(PN).log
        @! grep -i 'overfull\|underfull' $<
 
 # Run chktex to find silly mistakes. There is some exit code weirdness
-# (Savannah bug 45979), so we just look for empty output.
+# (Savannah bug 53129), so we just look for empty output.
 .PHONY: check-chktex
 CHKTEX = chktex --localrc .chktexrc --quiet --inputfiles=0
 check-chktex: