diff options
author | makefu <github@syntax-fehler.de> | 2016-05-24 22:12:38 +0200 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2016-05-24 22:12:38 +0200 |
commit | 9cba0ffefa95079168f3419cf11eb98400a468db (patch) | |
tree | f483f11d62ced67b06e017a65417135b9ba8a2ce /krebs/3modules/build.nix | |
parent | 4de1c87ff62dadc4cbe812a48d10241d79aca183 (diff) | |
parent | c44e649455f3c162b66fb9d2d678a7a0eeff598b (diff) |
merge cd/master
Diffstat (limited to 'krebs/3modules/build.nix')
-rw-r--r-- | krebs/3modules/build.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/krebs/3modules/build.nix b/krebs/3modules/build.nix index d4c6b08df..9cd095622 100644 --- a/krebs/3modules/build.nix +++ b/krebs/3modules/build.nix @@ -88,6 +88,8 @@ let #! /bin/sh set -efu + export SSL_CERT_FILE=/etc/ssl/certs/ca-certificates.crt + verbose() { printf '%s%s\n' "$PS5$(printf ' %q' "$@")" >&2 "$@" |