diff --git a/contrib/scripts/ast_coredumper b/contrib/scripts/ast_coredumper index 353137f670aedbc2cf5e743a5fffa0e0d54de16d..2f685acb67cfa77a1463ed48ea2302e218fa7a6f 100755 --- a/contrib/scripts/ast_coredumper +++ b/contrib/scripts/ast_coredumper @@ -314,7 +314,11 @@ for i in "${!COREDUMPS[@]}" ; do fi if $DELETE_RESULTS_AFTER ; then - rm -rf "${cf//:/-}"-{brief,full,thread1,locks,info}.txt + to_delete=$cf + if [ -n "$OUTPUTDIR" ] ; then + to_delete="$OUTPUTDIR/$cfname" + fi + rm -rf "${to_delete//:/-}"-{brief,full,thread1,locks,info}.txt fi done