From c23a48083f53defaea410ae70027a6d7ef2c4493 Mon Sep 17 00:00:00 2001 From: sof Date: Mon, 25 Aug 1997 21:31:06 +0000 Subject: [PATCH] [project @ 1997-08-25 21:31:06 by sof] --- ghc/driver/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc/driver/Makefile b/ghc/driver/Makefile index b5def56..796ac0c 100644 --- a/ghc/driver/Makefile +++ b/ghc/driver/Makefile @@ -70,7 +70,7 @@ all :: $(DYN_LOADABLE_BITS) # ToDo: allow different install name for driver? # INSTALL_SCRIPTS += $(SCRIPT_PROG) -INSTALL_LIBS += $(DYN_LOADABLE_BITS) +INSTALL_LIBS += $(DYN_LOADABLE_BITS) # # Before really installing the driver, we have to -- 1.7.10.4