summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <ori@markovcorp.com>2017-10-05 18:10:43 -0700
committerOri Bernstein <ori@markovcorp.com>2017-10-05 18:10:43 -0700
commitc89a9ad95390793148fd416451ae1d8ebf1d6ae1 (patch)
treec25a8c19c2450161672e9d7acc91651142304fb9 /Makefile
parent66e8d816c8cdb09bb175c0145202f100c4b4284c (diff)
downloadmc-c89a9ad95390793148fd416451ae1d8ebf1d6ae1.tar.gz
make the bootstrapping step explicit.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 00829ed..c48939c 100644
--- a/Makefile
+++ b/Makefile
@@ -22,6 +22,10 @@ bench:
.PHONY: bootstrap
bootstrap: buildmyr
+ ./mk/bootstrap/bootstrap+`uname -s`-`uname -m`.sh
+
+.PHONY: genbootstrap
+genbootstrap: buildmyr
./genbootstrap.sh
buildmyr: subdirs