From 7638bcc9cd388806c8e95f1f14cd171ebfc80e9d Mon Sep 17 00:00:00 2001 From: Roman Date: Wed, 13 Dec 2023 10:20:10 +0100 Subject: [PATCH] test: check where the Nim sources were downloaded --- scripts/build_nim.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/build_nim.sh b/scripts/build_nim.sh index e1414574a..0062ee3ed 100644 --- a/scripts/build_nim.sh +++ b/scripts/build_nim.sh @@ -73,6 +73,8 @@ nim_needs_rebuilding() { # 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} 2>/dev/null; then + echo "Downloading Nim sources..." + echo $(pwd) # 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