diff options
| -rw-r--r-- | guile-lint.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/guile-lint.am b/guile-lint.am index 9fb1e55..7edf72d 100644 --- a/guile-lint.am +++ b/guile-lint.am @@ -9,7 +9,11 @@ if HAVE_GUILE_LINT # reports errors (e.g., with macros). So better ignore its exit code # for now. +# Note: We re-export `$GUILE' to make sure Guile-Lint uses the same +# Guile as we do, e.g., on NixOS. + all-local: $(dist_module_DATA) - -$(GUILE_LINT) -L $(top_srcdir)/src/guile \ + -GUILE="$(GUILE)" \ + $(GUILE_LINT) -L $(top_srcdir)/src/guile \ -L $(top_builddir)/src/guile -k $^ endif |