From b4ae7bbc92bee2d4adb127e85352143937038e24 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C8=98tefan=20Talpalaru?= Date: Wed, 8 Dec 2021 13:20:56 +0100 Subject: [PATCH] hide some annoying stderr (#32) --- scripts/build_nim.sh | 4 ++-- vendor/Nim | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/build_nim.sh b/scripts/build_nim.sh index 67b49c7..c639966 100755 --- a/scripts/build_nim.sh +++ b/scripts/build_nim.sh @@ -63,7 +63,7 @@ nim_needs_rebuilding() { if [[ -n "${NIM_COMMIT}" ]]; then # support old Git versions, like the one from Ubuntu-18.04 git restore . 2>/dev/null || git reset --hard - if ! git checkout -q ${NIM_COMMIT}; then + if ! git checkout -q ${NIM_COMMIT} 2>/dev/null; then # Pay the price for a non-default NIM_COMMIT here, by fetching everything. # (This includes upstream branches and tags that might be missing from our fork.) git remote add upstream https://github.com/nim-lang/Nim @@ -72,7 +72,7 @@ nim_needs_rebuilding() { fi # In case the local branch diverged and a fast-forward merge is not possible. git fetch || true - git reset -q --hard origin/${NIM_COMMIT} || true + git reset -q --hard origin/${NIM_COMMIT} 2>/dev/null || true # In case NIM_COMMIT is a local branch that's behind the remote one it's tracking. git pull -q 2>/dev/null || true git checkout -q ${NIM_COMMIT} diff --git a/vendor/Nim b/vendor/Nim index 236f0d1..eb1c432 160000 --- a/vendor/Nim +++ b/vendor/Nim @@ -1 +1 @@ -Subproject commit 236f0d10f6d405a333e4f5cb711efb91c2bfd411 +Subproject commit eb1c432441d9abd173577dbd0fa263f9273075fa