diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-08-07T13·02+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-07T13·02+0200 |
| commit | 56df30cd3f89f76f608b469044c17a42cdb2b338 (patch) | |
| tree | 0a8cb3bf92293f9fd6d684f62a5d1f63874290d8 /tests/push_to_store.sh | |
| parent | 399b6f3c46077e10a7047e8216fc1a67425a768a (diff) | |
| parent | 363a2f68261af73aefe4edead9c0526030751a27 (diff) | |
Merge pull request #2995 from tweag/post-build-hook
Add a post build hook
Diffstat (limited to 'tests/push_to_store.sh')
| -rwxr-xr-x | tests/push_to_store.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/push_to_store.sh b/tests/push_to_store.sh new file mode 100755 index 000000000000..d97eb095dd74 --- /dev/null +++ b/tests/push_to_store.sh @@ -0,0 +1,4 @@ +#!/bin/sh + +echo Pushing "$@" to "$REMOTE_STORE" +echo -n "$OUT_PATHS" | xargs -d: nix copy --to "$REMOTE_STORE" --no-require-sigs |