Merge pull request #247 from status-im/WSL

Makefile: workaround for Windows 10 with WSL enabled
This commit is contained in:
Eugene Kabanov 2019-04-12 00:20:01 +03:00 committed by GitHub
commit 00b22ec1a9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions

View File

@ -29,8 +29,10 @@ deps: | sanity-checks
build:
mkdir $@
# Windows 10 with WSL enabled, but no distro installed, fails if "../../nimble.sh" is executed directly
# in a Makefile recipe but works when prefixing it with `bash`. No idea how the PATH is overridden.
test: | build deps
../../nimble.sh test $(NIM_PARAMS)
bash ../../nimble.sh test $(NIM_PARAMS)
$(TOOLS): | build deps
for D in $(TOOLS_DIRS); do [ -e "$${D}/$@.nim" ] && TOOL_DIR="$${D}" && break; done && \