1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 9893b1a..783d4f3 100644
--- a/Makefile
+++ b/Makefile
@@ -20,6 +20,8 @@ BINDIR = bin
 
 BUILD_DIR = build
 
+CONFIG = config.def
+
 DESTDIR = ""
 
 GPRBUILD = gprbuild
@@ -51,6 +53,7 @@ clean:
 	  $(GPRCLEAN); \
 	  rm -rf $(BUILD_DIR);\
 	fi
+	rm -f $(CONFIG)
 
 install:
 	$(INSTALL) -d $(DESTDIR)/$(PREFIX)/$(BINDIR)