From 9bdaabdc829f7d26d8ab34cf422612161777f870 Mon Sep 17 00:00:00 2001 From: woclass Date: Sat, 23 Jul 2022 02:15:06 +0800 Subject: [PATCH] Makefile: fix `PATH` set on check-whitespace (#45957) --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 42774ef531eaa..bdb917ea2355b 100644 --- a/Makefile +++ b/Makefile @@ -108,7 +108,7 @@ check-whitespace: ifneq ($(NO_GIT), 1) @# Append the directory containing the julia we just built to the end of `PATH`, @# to give us the best chance of being able to run this check. - @PATH=$(PATH):$(dirname $(JULIA_EXECUTABLE)) $(JULIAHOME)/contrib/check-whitespace.jl + @PATH="$(PATH):$(dir $(JULIA_EXECUTABLE))" $(JULIAHOME)/contrib/check-whitespace.jl else $(warn "Skipping whitespace check because git is unavailable") endif