diff options
Diffstat (limited to 'bin/reproducible_freebsd.sh')
| -rwxr-xr-x | bin/reproducible_freebsd.sh | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/bin/reproducible_freebsd.sh b/bin/reproducible_freebsd.sh index 1df3bc81..c0f7cd60 100755 --- a/bin/reproducible_freebsd.sh +++ b/bin/reproducible_freebsd.sh @@ -14,11 +14,10 @@ set -e cleanup_tmpdirs() { cd - echo "No Cleanup..." - #FIXME: cleanup freebsd soon and cleanup on jenkins too - #$RSSH "sudo chflags -R noschg $TMPDIR - #$RSSH "rm -r $TMPDIR" - #$RSSH 'sudo rm -r /usr/src /usr/obj' + $RSSH "sudo chflags -R noschg $TMPDIR" + $RSSH "rm -r $TMPDIR" + rm $TMPDIR -r + $RSSH 'sudo rm -r /usr/src /usr/obj' } create_results_dirs() { |