move INPLACE_DATA_DIR into mk/config.mk and share it
authorSimon Marlow <marlowsd@gmail.com>
Wed, 13 Aug 2008 14:47:07 +0000 (14:47 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 13 Aug 2008 14:47:07 +0000 (14:47 +0000)
commiteacfbdedf46dcc3105de1bbf642cf2572526c705
treeef6420d680ea6d4abe907fc2833c225fcb99bc2a
parent8396eb36ed1aa4ca23b44afba163e41282e01096
move INPLACE_DATA_DIR into mk/config.mk and share it
driver/Makefile
ghc/Makefile
mk/config.mk.in