summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile6
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 543779a..e8ac99b 100644
--- a/Makefile
+++ b/Makefile
@@ -40,8 +40,10 @@ hvinfo:
$(GPRBUILD) -Phvinfo
clean:
- $(GPRCLEAN)
- rm -rf $(BUILD_DIR)
+ if test -d $(BUILD_DIR); then \
+ $(GPRCLEAN); \
+ rm -rf $(BUILD_DIR);\
+ fi
install:
$(INSTALL) -d $(DESTDIR)/$(PREFIX)/$(BINDIR)