From 2331038a4dde81eedfb10d4bdda02ca48622c81d Mon Sep 17 00:00:00 2001 From: laszlocsomor Date: Mon, 23 Jul 2018 06:28:34 -0700 Subject: runfiles.bash: move a line of comment RELNOTES: none PiperOrigin-RevId: 205651683 --- tools/bash/runfiles/runfiles.bash | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" -- cgit v1.2.3