diff options
author | philwo <philwo@google.com> | 2017-06-21 15:25:10 +0200 |
---|---|---|
committer | Philipp Wollermann <philwo@google.com> | 2017-06-22 11:49:00 +0200 |
commit | 9d9ac15b69530edd83c1b95f98a70efa8f98a27a (patch) | |
tree | 92e6b1aa7acfdcab924a0bcb4da70cfe289654f5 /scripts/bootstrap | |
parent | 7e9dcfa501fb941cb9a0e42a41d954b3b34fa7a7 (diff) |
Use getopt to parse process-wrapper's command-line.
This will allow us to add new and optional flags like selecting a strategy used to spawn / wait for the child process.
No one except Bazel should be calling "process-wrapper" and I couldn't find any references, so this breaking change should be fine.
PiperOrigin-RevId: 159685867
Diffstat (limited to 'scripts/bootstrap')
-rwxr-xr-x | scripts/bootstrap/compile.sh | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/scripts/bootstrap/compile.sh b/scripts/bootstrap/compile.sh index 3fcffba31e..6ca0e85b38 100755 --- a/scripts/bootstrap/compile.sh +++ b/scripts/bootstrap/compile.sh @@ -233,42 +233,6 @@ cp $1 $2/MANIFEST EOF chmod 0755 ${ARCHIVE_DIR}/_embedded_binaries/build-runfiles${EXE_EXT} -log "Creating process-wrapper..." -cat <<'EOF' >${ARCHIVE_DIR}/_embedded_binaries/process-wrapper${EXE_EXT} -#!/bin/sh -# Dummy process wrapper, does not support timeout -shift 2 -stdout="$1" -stderr="$2" -shift 2 - -if [ "$stdout" = "-" ] -then - if [ "$stderr" = "-" ] - then - "$@" - exit $? - else - "$@" 2>"$stderr" - exit $? - fi -else - if [ "$stderr" = "-" ] - then - "$@" >"$stdout" - exit $? - else - "$@" 2>"$stderr" >"$stdout" - exit $? - fi -fi - - -"$@" -exit $? -EOF -chmod 0755 ${ARCHIVE_DIR}/_embedded_binaries/process-wrapper${EXE_EXT} - function build_jni() { local -r output_dir=$1 |