diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/bash/runfiles/runfiles.bash | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/bash/runfiles/runfiles.bash b/tools/bash/runfiles/runfiles.bash index fe29f4eee6..69bb532029 100644 --- a/tools/bash/runfiles/runfiles.bash +++ b/tools/bash/runfiles/runfiles.bash @@ -36,6 +36,7 @@ # Insert the following code snippet to the top of your main script: # # # --- begin runfiles.bash initialization --- +# # Copy-pasted from Bazel's Bash runfiles library (tools/bash/runfiles/runfiles.bash). # set -euo pipefail # if [[ ! -d "${RUNFILES_DIR:-/dev/null}" && ! -f "${RUNFILES_MANIFEST_FILE:-/dev/null}" ]]; then # if [[ -f "$0.runfiles_manifest" ]]; then |