diff options
Diffstat (limited to 'resources/tools/presentation/run_report.sh')
| -rwxr-xr-x | resources/tools/presentation/run_report.sh | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/resources/tools/presentation/run_report.sh b/resources/tools/presentation/run_report.sh index 34d6c5d7be..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]} @@ -44,3 +40,6 @@ python pal.py \ --release ${RELEASE} \ --logging INFO \ --force + +RETURN_STATUS=$(echo $?) +exit ${RETURN_STATUS} |