--- /p/lang/ghc/old/fptools/MakefileWed Sep 15 09:03:33 1999
+++ MakefileWed Dec 15 16:04:58 1999
@@ -15,7 +15,7 @@
# on whether we do `make install' or not. Having a $(ifeq ... ) would
# be preferable..
CURRENT_TARGET = $(MAKECMDGOALS)
-SUBDIRS = $(shell if (test
--- /p/lang/ghc/old/fptools/MakefileWed Sep 15 09:03:33 1999
+++ MakefileWed Dec 15 16:04:58 1999
@@ -15,7 +15,7 @@
# on whether we do `make install' or not. Having a $(ifeq ... ) would
# be preferable..
CURRENT_TARGET = $(MAKECMDGOALS)
-SUBDIRS = $(shell if (test x$(CURRENT_TARGET) =