From 12a159abeaaf54eaf85c0d5fd6b41a7787cb3571 Mon Sep 17 00:00:00 2001
From: Simon Sapin <simon.sapin@exyr.org>
Date: Wed, 17 Aug 2016 16:23:11 +0200
Subject: [PATCH] Add 'make help' for rustbuild

It is still advertised by the configure script.
---
 src/bootstrap/mk/Makefile.in | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/bootstrap/mk/Makefile.in b/src/bootstrap/mk/Makefile.in
index c657785d78b6e..cc44d45c2cc75 100644
--- a/src/bootstrap/mk/Makefile.in
+++ b/src/bootstrap/mk/Makefile.in
@@ -22,6 +22,10 @@ BOOTSTRAP := $(CFG_PYTHON) $(CFG_SRC_DIR)src/bootstrap/bootstrap.py $(BOOTSTRAP_
 all:
 	$(Q)$(BOOTSTRAP)
 
+# Don’t use $(Q) here, always show how to invoke the bootstrap script directly
+help:
+	$(BOOTSTRAP) --help
+
 clean:
 	$(Q)$(BOOTSTRAP) --clean