diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-04-08 05:29:52 +0200 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-04-08 05:29:52 +0200 |
| commit | 76e598700ce4fa64eba251085af7fd85a03bfe6f (patch) | |
| tree | bcc9d626c85e60282ba095c928e87720817ef0b7 | |
| parent | 4b97a0e707db50105c20014e40bccdd6bded4221 (diff) | |
| download | hvinfo-76e598700ce4fa64eba251085af7fd85a03bfe6f.tar.gz hvinfo-76e598700ce4fa64eba251085af7fd85a03bfe6f.zip | |
Check if build dir exists before doing gprclean.
| -rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -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) |