summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-27 00:53:48 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-27 00:53:48 +0100
commita105b5e0cd32e11624e5312af736e4828b06d6f4 (patch)
tree730f92d618da4c81c4e8a866de2a9d3b66479fbe /Makefile
parentUse toml-mode for syntax highlighting and align a la Cargo.toml (diff)
Make a generation process prebuild depends on its tangled file
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 8e091ee..2682086 100644
--- a/Makefile
+++ b/Makefile
@@ -34,6 +34,7 @@ prebuild : bootstrap-prebuild
build : bootstrap-build
postbuild : bootstrap-postbuild
+bootstrap-prebuild : bootstrap.mk scripts/update-gitignore.sh
bootstrap-build : bootstrap-prebuild
bootstrap-postbuild : bootstrap-build