diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2018-08-01 12:09:22 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-01 12:09:22 -0400 |
| commit | aba765afbb4e3638e7464a586c7963f45c35c824 (patch) | |
| tree | 95748731fd019db654d161017f8b5177bee4f104 | |
| parent | 890d40dd4fc5d30c9b5fb5cc06bfabb0650eb16c (diff) | |
| download | servo-aba765afbb4e3638e7464a586c7963f45c35c824.tar.gz servo-aba765afbb4e3638e7464a586c7963f45c35c824.zip | |
Actually clean all build artifacts.
| -rwxr-xr-x | etc/ci/clean_build_artifacts.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/ci/clean_build_artifacts.sh b/etc/ci/clean_build_artifacts.sh index d8b07e42e0a..7f2b253a428 100755 --- a/etc/ci/clean_build_artifacts.sh +++ b/etc/ci/clean_build_artifacts.sh @@ -8,4 +8,4 @@ set -o errexit set -o nounset set -o pipefail -rm -rf target/{debug,release,doc} +rm -rf target/ |