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