diff options
Diffstat (limited to 'resources/tools/presentation/run_report.sh')
| -rwxr-xr-x | resources/tools/presentation/run_report.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/resources/tools/presentation/run_report.sh b/resources/tools/presentation/run_report.sh index 3c3a9f75ce..d294640fd1 100755 --- a/resources/tools/presentation/run_report.sh +++ b/resources/tools/presentation/run_report.sh @@ -23,10 +23,6 @@ then sudo sed -i.bak 's/^\(main_memory\s=\s\).*/\110000000/' /usr/share/texlive/texmf-dist/web2c/texmf.cnf fi -# Clean-up when finished -trap 'rm -rf ${DIR[WORKING]}; exit' EXIT -trap 'rm -rf ${DIR[WORKING]}; exit' ERR - # Create working directories mkdir ${DIR[WORKING]} |