From ce5560e4c105456248b75f5928e39f6ce81ddd37 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sun, 10 Aug 2008 14:42:59 +0000 Subject: [PATCH] We don't need to generate driver/package.conf any more; spotted by Simon --- driver/Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/driver/Makefile b/driver/Makefile index 7a07cbd..7953d5f 100644 --- a/driver/Makefile +++ b/driver/Makefile @@ -17,7 +17,6 @@ INPLACE_FILE = $(INPLACE_DATA_DIR)/inplace boot all :: $(MKDIRHIER) $(INPLACE_DATA_DIR) test -e $(INPLACE_PKG_CONF) || echo "[]" > $(INPLACE_PKG_CONF) - echo "[]" > package.conf touch $(INPLACE_FILE) INSTALL_DATAS += package.conf ghc-usage.txt ghci-usage.txt -- 1.7.10.4