Commit Graph

4 Commits

Author SHA1 Message Date
Sascha Grunert
975b8d352e
Use /usr/bin/env bash in Makefiles and scripts
This allows the execution of the Makefiles from distributions which do
have `bash` in a different path.

Signed-off-by: Sascha Grunert <sgrunert@suse.com>
2020-08-16 21:13:18 +02:00
aaa
961f1621aa Fix shellcheck failures in update-workspace-mirror.sh 2019-04-08 14:40:26 -04:00
Jeff Grafton
b9efd1f467 workspace mirror: add trailing newline to urls list 2018-05-07 16:52:20 -07:00
Ryan Hitchman
d53b5f1f2e Add a GCS mirror to WORKSPACE URLs. //hack:update-mirror updates it.
This will help avoid flakes when initializing WORKSPACE, since there are
two sources for each file. Any errors downloading or failed hashes cause
bazel to try the next url in the series.
2018-04-20 13:55:23 -07:00