From edbcd01402f57c8022959ed7d941968c71d4eb95 Mon Sep 17 00:00:00 2001 From: Matt Borgerson Date: Thu, 11 Feb 2021 22:06:41 -0700 Subject: [PATCH] build: Only update imgui if not present --- build.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/build.sh b/build.sh index abebaae253..9ac39c111a 100755 --- a/build.sh +++ b/build.sh @@ -248,7 +248,9 @@ set -x # Print commands from now on "$@" # Force imgui update now to work around annoying make issue -./scripts/git-submodule.sh update ui/imgui +if ! test -f "${project_source_dir}/ui/imgui/imgui.cpp"; then + ./scripts/git-submodule.sh update ui/imgui +fi time make -j"${job_count}" 2>&1 | tee build.log