diff options
-rw-r--r-- | Makefile | 1 | ||||
-rwxr-xr-x | scripts/confmk.py | 2 |
2 files changed, 0 insertions, 3 deletions
@@ -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") ################################################################################# |