summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès2008-01-21 10:43:38 +0100
committerLudovic Courtès2008-01-21 10:43:38 +0100
commitbf3c4e69cc597cf908eecfee2d920e6a6b94bc20 (patch)
tree44985f8254d1faaf7d7576b71523a56299d34fae
parenta348f167d4f15d37f5a0a2df856f8f76d5726792 (diff)
downloadskribilo-bf3c4e69cc597cf908eecfee2d920e6a6b94bc20.tar.gz
skribilo-bf3c4e69cc597cf908eecfee2d920e6a6b94bc20.tar.lz
skribilo-bf3c4e69cc597cf908eecfee2d920e6a6b94bc20.zip
Ignore Guile-Lint's error code for now.
-rw-r--r--guile-lint.am9
1 files changed, 8 insertions, 1 deletions
diff --git a/guile-lint.am b/guile-lint.am
index 1f98791..9fb1e55 100644
--- a/guile-lint.am
+++ b/guile-lint.am
@@ -2,7 +2,14 @@
# See http://www.geocities.com/user42_kevin/guile-lint/index.html .
if HAVE_GUILE_LINT
+
+# FIXME: Guile-Lint 9 or so always returned zero, but Guile-Lint 12
+# returns an actual status code depending on whether errors were
+# encountered, which is good, except that it sometimes erroneously
+# reports errors (e.g., with macros). So better ignore its exit code
+# for now.
+
all-local: $(dist_module_DATA)
- $(GUILE_LINT) -L $(top_srcdir)/src/guile \
+ -$(GUILE_LINT) -L $(top_srcdir)/src/guile \
-L $(top_builddir)/src/guile -k $^
endif