diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2014-08-29 18:02:43 +0300 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2014-08-29 18:02:43 +0300 |
commit | 98b41e844ce2cd10bbfdc8b04208161043dd14d5 (patch) | |
tree | e0e558e98b5bfbbf840fcf4102ad1f18bb6f78a5 | |
parent | 9162cdf53b8703a067f6f6c974f726004ea75f84 (diff) |
use the force for rm
-rwxr-xr-x | jenkins-run | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins-run b/jenkins-run index d07859b..7e037e2 100755 --- a/jenkins-run +++ b/jenkins-run @@ -2,7 +2,7 @@ # jenkins-run -rm -rf build binary +sudo rm -rf build binary . ./gcov-ci/configs/${hwpack}.template |