From 341d99ebf5c1fcbba2f4436bcfa5ef73b8bf65b9 Mon Sep 17 00:00:00 2001
From: Christopher Spinrath <christopher.spinrath@rwth-aachen.de>
Date: Sun, 11 Oct 2015 23:08:58 +0200
Subject: [PATCH] repo_clean: delete offline_repo.json file

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 2b15a97..0098783 100644
--- a/Makefile
+++ b/Makefile
@@ -625,6 +625,7 @@ $(IMAGE_DIR)/offline_repo.json: | $(IMAGE_DIR)
 repo_clean:
 	$(RM) -r "$(REPO_DIST_DIR)"
 	$(RM) -r "$(REPO_ARCHIVE_DIR)"
+	$(RM) "$(IMAGE_DIR)/offline_repo.json"
 
 $(call ensure_mount,repo): repo_packages repo_package_info repo_metadata $(IMAGE_DIR)/offline_repo.json
 
-- 
GitLab