From 36d6d537b44164adb1e8c6860a78f8a494fe11ec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Thu, 21 May 2015 19:19:01 +0200
Subject: Fix problem of cleaning scripts/nbscript

---
 Makefile          | 1 -
 scripts/confmk.py | 2 --
 2 files changed, 3 deletions(-)

diff --git a/Makefile b/Makefile
index 71461b4..0211910 100644
--- a/Makefile
+++ b/Makefile
@@ -62,7 +62,6 @@ clean:
 	@if [ -e scripts/picosat-959/makefile ]; then $(MAKE) -C scripts/picosat-959 clean; fi
 	$(RM) .conf.mk
 	$(RM) -r jobfiles output result
-	$(RM) $(NBSCRIPT)
 
 distclean: clean distclean_linux distclean_buildroot
 	$(RM) .conf.mk
diff --git a/scripts/confmk.py b/scripts/confmk.py
index 974178c..b8a1e6c 100755
--- a/scripts/confmk.py
+++ b/scripts/confmk.py
@@ -17,8 +17,6 @@ def gen_confmk():
 		f.write("BUILDROOT_INITTAB_DIRECTIVE := " + conf.buildroot_inittab_directive + "\n")
 		f.write("BUILDROOT_INITSCRIPT := " + conf.buildroot_initscript + "\n")
 		f.write("BUILDROOT_DEF_CONFIG := " + conf.buildroot_def_config + "\n")
-		f.write("\n")
-		f.write("NBSCRIPT := " + conf.nbscript + "\n")
 
 #################################################################################
 
-- 
cgit v1.2.3