diff options
-rw-r--r-- | tools/bash/runfiles/runfiles.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/bash/runfiles/runfiles.bash b/tools/bash/runfiles/runfiles.bash index b8bb7b2d1b..fe29f4eee6 100644 --- a/tools/bash/runfiles/runfiles.bash +++ b/tools/bash/runfiles/runfiles.bash @@ -35,8 +35,8 @@ # up the library's runtime location, thus we have a chicken-and-egg problem. # Insert the following code snippet to the top of your main script: # -# set -euo pipefail # # --- begin runfiles.bash initialization --- +# set -euo pipefail # if [[ ! -d "${RUNFILES_DIR:-/dev/null}" && ! -f "${RUNFILES_MANIFEST_FILE:-/dev/null}" ]]; then # if [[ -f "$0.runfiles_manifest" ]]; then # export RUNFILES_MANIFEST_FILE="$0.runfiles_manifest" |