aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile1
-rwxr-xr-xscripts/confmk.py2
2 files changed, 0 insertions, 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")
#################################################################################