diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/Makefile b/driver/Makefile index 3fcb4be556..7e87b89061 100644 --- a/driver/Makefile +++ b/driver/Makefile @@ -15,7 +15,7 @@ INPLACE_FILE = $(INPLACE_DATA_DIR)/inplace boot all :: $(MKDIRHIER) $(INPLACE_DATA_DIR) - test -e $(INPLACE_PKG_CONF) || echo "[]" > $(INPLACE_PKG_CONF) + test -f $(INPLACE_PKG_CONF) || echo "[]" > $(INPLACE_PKG_CONF) touch $(INPLACE_FILE) INSTALL_DATAS += ghc-usage.txt ghci-usage.txt |