Fix problem of cleaning scripts/nbscript

diff --git a/Makefile b/Makefile
index 71461b422c7c367cb1748d929c9e7151153d77ff..0211910c4c1f9bfb6520e9156df123b6601c000a 100644 (file)
--- 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 974178c1a756fc79d8339ae1e312ceddfca0054a..b8a1e6c0b9bca65eb9eaec57c1b611c75af3cd67 100755 (executable)
--- 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")
 
 #################################################################################