Skip to content

make: only clone if nethermind directory does not exist#58

Open
jochem-brouwer wants to merge 1 commit intoNethermindEth:mainfrom
jochem-brouwer:makefile-fix-if-fail
Open

make: only clone if nethermind directory does not exist#58
jochem-brouwer wants to merge 1 commit intoNethermindEth:mainfrom
jochem-brouwer:makefile-fix-if-fail

Commits

Commits on Sep 12, 2025