From eca65e611f9303bffd9db217b4312a5afe3917a6 Mon Sep 17 00:00:00 2001 From: FlightlessMango Date: Thu, 8 Feb 2024 16:13:55 +0100 Subject: [PATCH] build-source: don't remove imgui misc --- build-source.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-source.sh b/build-source.sh index b6bc12b6..7273da53 100755 --- a/build-source.sh +++ b/build-source.sh @@ -31,7 +31,7 @@ rm -r ${NAME}/subprojects/nlohmann_json-* # remove some vulkan clutter rm -r ${NAME}/subprojects/Vulkan-Headers-*/cmake ${NAME}/subprojects/Vulkan-Headers-*/BUILD.gn # remove some dear imgui clutter -rm -rf ${NAME}/subprojects/imgui-*/examples ${NAME}/subprojects/imgui-*/misc +rm -rf ${NAME}/subprojects/imgui-*/examples # compress new sources tar -cJf ${DFSG_TAR_NAME} ${NAME}