From b5c266f3e962cf210e132f54395c47cb5ca70cce Mon Sep 17 00:00:00 2001 From: Roman Chistokhodov Date: Mon, 16 Oct 2017 19:23:35 +0300 Subject: [PATCH] Update dub.json to fix console build --- dub.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dub.json b/dub.json index 118b3795..b575f2c8 100644 --- a/dub.json +++ b/dub.json @@ -64,7 +64,7 @@ { "name": "console", "versions": ["USE_CONSOLE", "EmbedStandardResources"], - "excludedSourceFiles": ["3rdparty/*"] + "excludedSourceFiles": ["3rdparty/*GL*", "3rdparty/android", "3rdparty/dimage", "3rdparty/fontconfig/*", "3rdparty/icontheme", "3rdparty/jni.d"] }, { "name": "external",