From ac94117fb31efdb174d612fb8c0fa5671f12a194 Mon Sep 17 00:00:00 2001 From: mikebender Date: Fri, 12 Jul 2024 13:24:50 -0400 Subject: [PATCH] Add the `dist` directory to be cleaned as well --- plugins/ui/setup.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/plugins/ui/setup.py b/plugins/ui/setup.py index d2d034634..fa2c2a39a 100644 --- a/plugins/ui/setup.py +++ b/plugins/ui/setup.py @@ -6,9 +6,10 @@ js_dir = "src/js/" dest_dir = os.path.join("src/deephaven/ui/_js") -# remove the build directory to ensure that the package is built from the latest js files +# remove the build/dist directory to ensure that the package is built from the latest js files try: shutil.rmtree("build") + shutil.rmtree("dist") except FileNotFoundError: pass