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
15 lines
347 B
Bash
Executable file
15 lines
347 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
|