WAY_dyn_LIB_TARGET is not used anywhere; kill it

diff --git a/mk/config.mk.in b/mk/config.mk.in
index f11c6f7..3e63d84 100644 (file)
--- 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