From 27e900651ecbf70bbc0015a57107762ef5fafc2c Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 13 Feb 2002 10:45:28 +0000
Subject: [PATCH] [project @ 2002-02-13 10:45:28 by simonmar] Use
 --update-package rather than --remove-package followed by
 --add-package

---
 mk/package.mk |    8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/mk/package.mk b/mk/package.mk
index f16cc5e..7a628f9 100644
--- a/mk/package.mk
+++ b/mk/package.mk
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------
-# $Id: package.mk,v 1.2 2002/02/12 15:45:46 simonmar Exp $
+# $Id: package.mk,v 1.3 2002/02/13 10:45:28 simonmar Exp $
 
 ifneq "$(PACKAGE)" ""
 
@@ -17,10 +17,8 @@ $(PACKAGE).conf.installed : $(PACKAGE).conf.in
 		| sed 's/^#.*$$//g' >$@
 
 boot all :: $(PACKAGE).conf.inplace $(PACKAGE).conf.installed
-	-$(GHC_PKG_INPLACE) --remove-package $(PACKAGE)
-	$(GHC_PKG_INPLACE) --add-package <$(PACKAGE).conf.inplace
-	-$(GHC_PKG_INPLACE) -f $(GHC_DRIVER_DIR)/package.conf --remove-package $(PACKAGE)
-	$(GHC_PKG_INPLACE)  -f $(GHC_DRIVER_DIR)/package.conf --add-package <$(PACKAGE).conf.installed
+	$(GHC_PKG_INPLACE) --update-package <$(PACKAGE).conf.inplace
+	$(GHC_PKG_INPLACE)  -f $(GHC_DRIVER_DIR)/package.conf --update-package <$(PACKAGE).conf.installed
 
 CLEAN_FILES += $(PACKAGE).conf.installed $(PACKAGE).conf.inplace
 
-- 
1.7.10.4