From 63a7a4315287e9ac3774cd3f1b98cd6ee8612c45 Mon Sep 17 00:00:00 2001 From: autoantwort <41973254+autoantwort@users.noreply.github.com> Date: Wed, 28 Aug 2019 23:11:12 +0200 Subject: [PATCH] get_waf.sh: Allow spaces in the pwd path --- scripts/get_waf.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/get_waf.sh b/scripts/get_waf.sh index 5fdcea64..c60f9661 100755 --- a/scripts/get_waf.sh +++ b/scripts/get_waf.sh @@ -48,7 +48,7 @@ fetchwaf buildwaf popd -cp -prv $WAFBUILDDIR/waf-$WAFVERSION/waf $PWD +cp -prv $WAFBUILDDIR/waf-$WAFVERSION/waf "$PWD" chmod +x waf cleanup -- 2.11.0