c7af89c797
On operating systems where /bin/sh is not Bash, some scripts are invalid because of bashisms, and building Lix fails with errors like this: `render-manpage.sh: 3: set: Illegal option -o pipefail` This modifies all scripts that use a `/bin/sh` shebang to `/usr/bin/env bash`, including currently POSIX-compliant ones, to prevent any future confusion. Change-Id: Ia074cc6db42d40fc59a63726f6194ea0149ea5e0
14 lines
343 B
Bash
Executable file
14 lines
343 B
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
set -x
|
|
set -e
|
|
|
|
[ -n "$OUT_PATHS" ]
|
|
[ -n "$DRV_PATH" ]
|
|
|
|
echo Pushing "$OUT_PATHS" to "$REMOTE_STORE"
|
|
if [ -n "$BUILD_HOOK_ONLY_OUT_PATHS" ]; then
|
|
printf "%s" "$OUT_PATHS" | xargs nix copy --to "$REMOTE_STORE" --no-require-sigs
|
|
else
|
|
printf "%s" "$DRV_PATH" | xargs nix copy --to "$REMOTE_STORE" --no-require-sigs
|
|
fi
|