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 e1b227ec..46b84263 100755 --- a/bin/reproducible_freebsd.sh +++ b/bin/reproducible_freebsd.sh @@ -15,8 +15,9 @@ set -e cleanup_tmpdirs() { cd - $RSSH "rm -r $TMPDIR" - $RSSH "rm -r $TMPBUILDDIR" + echo "cleanup disabled, please check $TMPDIR and $TMPBUILDDIR and cleanup manually" + #$RSSH "rm -r $TMPDIR" + #$RSSH "rm -r $TMPBUILDDIR" } create_results_dirs() { |