From 7c918adadedcf88da54794ac89e2846135515828 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reinhard=20M=C3=BCller?= <reinhard@fsfe.org>
Date: Wed, 6 Mar 2019 23:08:28 +0100
Subject: [PATCH] Fix listing of directories used in a .source file

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e126e13a6a..8fc6a2ee9f 100644
--- a/Makefile
+++ b/Makefile
@@ -51,7 +51,7 @@ all: d_year.en.xml d_month.en.xml d_day.en.xml
 # -----------------------------------------------------------------------------
 
 # use shell globbing to work around faulty globbing in gnu make
-SOURCEDIRS = $(shell sed -rn 's;^(.*/)[^/]*:(\[\]|global)$$;\1;gp' $@ )
+SOURCEDIRS = $(shell ls -d `sed -rn 's;^(.*/)[^/]*:(\[\]|global)$$;\1;gp' $@`)
 SOURCEREQS = $(shell ./build/source_globber.sh sourceglobs $@ |sed 's;$$;.??.xml;g' )
 
 all: $(shell find ./ -name '*.sources')