From ec9cf4a82148137f240a84f73fc9dbc82aed4386 Mon Sep 17 00:00:00 2001 From: Damien Elmes Date: Mon, 3 Jul 2023 16:24:45 +1000 Subject: [PATCH] Add a script to clean build folder --- tools/clean | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100755 tools/clean diff --git a/tools/clean b/tools/clean new file mode 100755 index 000000000..621da48ec --- /dev/null +++ b/tools/clean @@ -0,0 +1,13 @@ +#!/bin/bash +# +# Remove most things from the build folder, to test a clean build. Keeps +# the download folder, and optionally node_modules/pyenv. + +set -e +shopt -s extglob + +if [ "$1" == "keep-env" ]; then + rm -rf out/!(node_modules|pyenv|download) +else + rm -rf out/!(download) +fi