From 0576fe51e70431906e93c0f3ab5b8a900b806f73 Mon Sep 17 00:00:00 2001 From: Oliver Schmidt Date: Thu, 4 Apr 2019 17:13:09 +0200 Subject: [PATCH 1/1] Minor clarification. --- samples/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/samples/Makefile b/samples/Makefile index abc8194c9..6c94495f5 100644 --- a/samples/Makefile +++ b/samples/Makefile @@ -51,8 +51,8 @@ ifneq ($(filter disk samples.%,$(MAKECMDGOALS)),) # If TARGET_PATH contains spaces then it is presumed to contain escaped spaces. GNU make # has very limited support for paths containing spaces. $(wildcard) is the only function # that is aware of escaped spaces. However, $(wildcard) never returns paths with escaped - # spaces !!! So if it e.g. finds in a path with 2 spaces in 4 files then one ends up with - # a return value consisting of 12 plain words :-(( + # spaces !!! So if it e.g. finds 4 files in a path with 2 spaces then one ends up with a + # return value consisting of 12 plain words :-(( # # Fortunately we can work around that behaviour here because we know that the files we # are looking for have known extensions. So we can $(filter) the in our example above 12 -- 2.39.2