From 76e598700ce4fa64eba251085af7fd85a03bfe6f Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Wed, 8 Apr 2015 05:29:52 +0200
Subject: Check if build dir exists before doing gprclean.

---
 Makefile | 6 ++++--
 1 file 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)
-- 
cgit v1.2.3