diff options
| -rwxr-xr-x | bin/reproducible_freebsd.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/reproducible_freebsd.sh b/bin/reproducible_freebsd.sh index be736851..7b70b48f 100755 --- a/bin/reproducible_freebsd.sh +++ b/bin/reproducible_freebsd.sh @@ -14,8 +14,9 @@ set -e cleanup_tmpdirs() { cd - $RSSH "rm -r $TMPDIR" - $RSSH 'sudo rm -r /usr/src /usr/obj' + echo "No Cleanup..." +# $RSSH "rm -r $TMPDIR" +# $RSSH 'sudo rm -r /usr/src /usr/obj' } create_results_dirs() { |