add comment in hack/update-*.sh

2020-01-16 10:05:49 +08:00
parent 5d1c301610
commit b2f76cc780
8 changed files with 32 additions and 10 deletions
--- a/hack/update-all.sh
+++ b/hack/update-all.sh
@@ -16,6 +16,9 @@

 # This script is a vestigial redirection.  Please do not add "real" logic.
 # The "true" target of this makerule is `hack/make-rules/update.sh`.
+# We should run `hack/update-all.sh` if anything fails after 
+# running `hack/verify-all.sh`. It is equivalent to `make update`. 
+# Usage: `hack/update-all.sh` or `make update`.

 set -o errexit
 set -o nounset