make sourcing nix quiet

Signed-off-by: Jakub Sokołowski <jakub@status.im>
This commit is contained in:
Jakub Sokołowski 2019-03-21 17:17:28 +01:00
parent 750cc93fe9
commit cfcfa01a64
No known key found for this signature in database
GPG Key ID: 4EF064D0E6D63020
1 changed files with 5 additions and 2 deletions

View File

@ -17,8 +17,11 @@ def getToolVersion(name) {
def nix_sh(cmd) {
sh """
. ~/.nix-profile/etc/profile.d/nix.sh && \\
nix-shell \'${env.WORKSPACE}/default.nix\' --argstr target-os \'${env.TARGET_PLATFORM}\' \\
set +x
. ~/.nix-profile/etc/profile.d/nix.sh
set -x
nix-shell \'${env.WORKSPACE}/default.nix\' \\
--argstr target-os \'${env.TARGET_PLATFORM}\' \\
--run \'${cmd}\'
"""
}