Skip to content

Commit 2d9e99f

Browse files
make: only clone if nethermind directory does not exist (#58)
1 parent f69e2e7 commit 2d9e99f

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

Makefile

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,9 @@
11
.PHONY: prepare_tools clean
22

33
prepare_tools:
4-
git clone https://github.com/NethermindEth/nethermind nethermind
4+
@if [ ! -d nethermind ]; then \
5+
git clone https://github.com/NethermindEth/nethermind nethermind;\
6+
fi
57
cd nethermind && git checkout e1857d7ca6613ccdc40973899290f565f367e235 && cd ..
68
dotnet build ./nethermind/tools/Nethermind.Tools.Kute -c Release --property WarningLevel=0
79

0 commit comments

Comments
 (0)