summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-05-15 18:41:45 -0700
committerOri Bernstein <ori@eigenstate.org>2015-05-15 18:42:21 -0700
commit7ace115b8b37597f31927ce993d0e6f6afa799e1 (patch)
tree56332638bed8ef2cf8ad57b0c79080535917d2ff /Makefile
parent609ec770191522854da18e8f6095a86ce61882ab (diff)
downloadmc-7ace115b8b37597f31927ce993d0e6f6afa799e1.tar.gz
Add one bootstrap file per system.
We may have different build orders, so we want one bootstrap file per system.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index a9232a8..845c205 100644
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,8 @@ check: all
bench: all
$(MAKE) -C bench bench
-bootstrap.sh: buildmyr
+.PHONY: bootstrap
+bootstrap: buildmyr
./genbootstrap.sh
buildmyr: