From 8b948bc521f2b14057ab6064d4728357898fd3d2 Mon Sep 17 00:00:00 2001 From: Proddy Date: Sat, 27 May 2023 09:42:50 +0200 Subject: [PATCH] don't build web on pio clean target --- scripts/build_interface.py | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/scripts/build_interface.py b/scripts/build_interface.py index 608a2ab7c..f6f32ef80 100644 --- a/scripts/build_interface.py +++ b/scripts/build_interface.py @@ -57,8 +57,5 @@ def buildWeb(): finally: os.chdir("..") - -if (len(BUILD_TARGETS) == 0 or "upload" in BUILD_TARGETS): +if not (env.IsCleanTarget()): buildWeb() -else: - print("Skipping build web interface for target(s): " + ", ".join(BUILD_TARGETS))