Commit 09a506febb51b95e7c4de7f07587c65c509d5969

Thomas de Grivel 2023-02-15T00:45:55

shpkg_ci --clean

1
2
3
4
5
6
7
8
9
10
11
12
13
14
diff --git a/bin/shpkg_ci b/bin/shpkg_ci
index f7bfe27..3b257a8 100755
--- a/bin/shpkg_ci
+++ b/bin/shpkg_ci
@@ -162,4 +162,9 @@ main () {
     verbose 2 shpkg_ci_status "shpkg_ci.status" ok
 }
 
+if [ "x$1" = "x--clean" ]; then
+    rm -rf "${SHPKG_CI_DIR}"
+    exit
+fi
+
 shpkg_log shpkg_ci main "$@"