diff options
author | 2017-08-09 06:11:08 +0000 | |
---|---|---|
committer | 2017-08-09 06:11:08 +0000 | |
commit | 0b28855e8cac70528d4b92b622547618b814bfee (patch) | |
tree | 00dfe0981d316011841a87a86b09ab9ee0810e54 /jjb | |
parent | bbdfb0cfaa37c6f7648a33b6dd1946c973cde431 (diff) | |
parent | 8f9d19cac2218a11dc4029ab8136c1c5ecb2840f (diff) |
Merge "remove useless workspace from yardstick"
Diffstat (limited to 'jjb')
-rwxr-xr-x | jjb/dovetail/dovetail-run.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jjb/dovetail/dovetail-run.sh b/jjb/dovetail/dovetail-run.sh index f75cddefe..a078c8f59 100755 --- a/jjb/dovetail/dovetail-run.sh +++ b/jjb/dovetail/dovetail-run.sh @@ -170,5 +170,8 @@ sudo cp -r ${DOVETAIL_HOME}/results ./ # PRIMARY_GROUP=$(id -gn $CURRENT_USER) # sudo chown -R ${CURRENT_USER}:${PRIMARY_GROUP} ${WORKSPACE}/results +#remove useless workspace from yardstick to save disk space +sudo rm -rf ./results/workspace + echo "Dovetail: done!" |