diff options
author | Ludovic Courtès | 2008-01-21 10:43:38 +0100 |
---|---|---|
committer | Ludovic Courtès | 2008-01-21 10:43:38 +0100 |
commit | bf3c4e69cc597cf908eecfee2d920e6a6b94bc20 (patch) | |
tree | 44985f8254d1faaf7d7576b71523a56299d34fae /guile-lint.am | |
parent | a348f167d4f15d37f5a0a2df856f8f76d5726792 (diff) | |
download | skribilo-bf3c4e69cc597cf908eecfee2d920e6a6b94bc20.tar.gz skribilo-bf3c4e69cc597cf908eecfee2d920e6a6b94bc20.tar.lz skribilo-bf3c4e69cc597cf908eecfee2d920e6a6b94bc20.zip |
Ignore Guile-Lint's error code for now.
Diffstat (limited to 'guile-lint.am')
-rw-r--r-- | guile-lint.am | 9 |
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 |