Merge branch 'dev' into cleanup

1 files changed, 21 insertions, 0 deletions

diff --git a/deployment/clean.sh b/deployment/clean.sh
new file mode 100755
index 000000000..7517cf849
--- /dev/null
+++ b/deployment/clean.sh
@@ -0,0 +1,21 @@
+#!/usr/bin/env bash
+
+set -e
+
+# Execute every clean.sh scripts in every folder.
+echo "Running for platforms '$@'."
+for directory in */ ; do
+    platform=`basename "${directory}"`
+    if [[ $@ == *"$platform"* || $@ = *"all"* ]]; then
+        echo "Processing ${platform}"
+        pushd "$platform"
+        if [ -f clean.sh ]; then
+            echo ./clean.sh 
+        fi
+        popd
+    else
+        echo "Skipping $platform."
+    fi
+done
+
+rm -rf ./collect-dist