diff options
Diffstat (limited to 'deployment/clean.sh')
| -rwxr-xr-x | deployment/clean.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/deployment/clean.sh b/deployment/clean.sh deleted file mode 100755 index 7517cf849..000000000 --- a/deployment/clean.sh +++ /dev/null @@ -1,21 +0,0 @@ -#!/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 |
