Makefile: workaround for Windows 10 with WSL enabled

This commit is contained in:
Ștefan Talpalaru 2019-04-11 16:01:28 +02:00
parent 02daef60c6
commit 9dcf1334f2
No known key found for this signature in database
GPG Key ID: CBF7934204F1B6F9
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 && \