Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-01 11:40:30 +01:00
Code Issues Projects Releases Packages Wiki Activity

Create script to easily remove existing CI build artifacts.

Browse source
This commit is contained in:
Josh Matthews 2018-02-22 14:51:05 -05:00
parent 9c484452c0
commit 0896fca5f0
1 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
etc/ci/clean_build_artifacts.sh Executable file
View file

@ -0,0 +1,11 @@
#!/usr/bin/env bash
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
set -o errexit
set -o nounset
set -o pipefail
rm -rf target/{debug,release,doc,geckolib}