From 331307d2879315bd0bca07c4e022963055b0d0a3 Mon Sep 17 00:00:00 2001
From: Ivan Davidov <davidov.i@gmail.com>
Date: Sun, 17 Apr 2016 18:16:36 +0300
Subject: [PATCH] Makefile improvement - delete the log file along with the
 othert generated artifacts.

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

diff --git a/src/Makefile b/src/Makefile
index e843d671b..099757481 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -13,6 +13,7 @@ clean:
 	@rm -rf source
 	@rm -rf work
 	@rm -f minimal_linux_live.iso
+	@rm -f minimal_linux_live.log
 
 emulator:
 	@if [ ! -f ./minimal_linux_live.iso ]; then echo "ISO image \"minimal_linux_live.iso\" not found."; exit 1; fi