Fixed anytype resolution.

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index d033ebb49e46ac85794c5fb0a787bb735ca21ec2..35abdd9c623d1a05edc5ed209ad1cf6444b328ac 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -93,6 +93,8 @@ DIFFFLAGS =
 # -u show context
 SPLINT = $(top_builddir)/src/splint$(EXEEXT)
 
+### These are shell-specific
+
 ### This is horrible!  Can't we make top_builddir absolute?
 SPLINTNEST = ../$(top_builddir)/src/splint$(EXEEXT)
 
@@ -904,9 +906,6 @@ uninstall-am: uninstall-info-am
        mostlyclean-generic uninstall uninstall-am uninstall-info-am
 
 
-unexport LARCH_PATH
-unexport LCLIMPORTDIR
-
 .PHONY: all check
 all check: fulltest