From cf54be43468e9f0b540268b9c3751e969703c106 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 19 Aug 2009 15:59:52 +0000 Subject: [PATCH] WAY_dyn_LIB_TARGET is not used anywhere; kill it --- mk/config.mk.in | 1 - 1 file changed, 1 deletion(-) diff --git a/mk/config.mk.in b/mk/config.mk.in index f11c6f7..3e63d84 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -852,7 +852,6 @@ WAY_thr_debug_l_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG -eventlog # Way 'dyn': build dynamic shared libraries WAY_dyn_NAME=dyn WAY_dyn_HC_OPTS=-fPIC -dynamic -WAY_dyn_LIB_TARGET=libHSrts-gcc661.so # Way 'thr_dyn': WAY_thr_dyn_NAME=thr_dyn -- 1.7.10.4