diff options
| -rw-r--r-- | util/newconfig/config.g | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/util/newconfig/config.g b/util/newconfig/config.g index 598443ec0c..191a185254 100644 --- a/util/newconfig/config.g +++ b/util/newconfig/config.g @@ -1598,6 +1598,13 @@ def writemakefile(path): file.write("\tif (cd %s; \\\n" % o.getname()) file.write("\t\tmake linuxbios.rom)\\\n"); file.write("\tthen true; else exit 1; fi;\n\n") + file.write("clean: ") + for i in romimages.keys(): + file.write("%s-clean " % i) + file.write("\n\n") + for i, o in romimages.items(): + file.write("%s-clean:\n" % o.getname()) + file.write("\t(cd %s; make clean)\n" % o.getname()) file.close() def writeinitincludes(image): |