summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xboot11
1 files changed, 11 insertions, 0 deletions
diff --git a/boot b/boot
index 7dc2983fea..f91372464d 100755
--- a/boot
+++ b/boot
@@ -132,6 +132,17 @@ def boot_pkgs():
pkg = pkg,
dir = dir_)))
+ makefile = os.path.join(package, 'GNUmakefile')
+ with open(makefile, 'w') as f:
+ f.write(dedent(
+ """\
+ dir = {package}
+ TOP = {top}
+ include $(TOP)/mk/sub-makefile.mk
+ FAST_MAKE_OPTS += stage=0
+ """.format(package = package, top = top)
+ ))
+
def autoreconf():
# Run autoreconf on everything that needs it.