diff options
| author | Erich Eckner <git@eckner.net> | 2020-02-12 13:18:30 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-02-12 13:18:30 +0100 |
| commit | 72a4b6fd8ca296eda6464647926e78e838b7e9cd (patch) | |
| tree | 9e41f17bf06c5fa776ca466716a3a5f461a41409 /bin | |
| parent | be5429de9f8b038a99cd548719eff62c6fd77c3f (diff) | |
| download | builder-72a4b6fd8ca296eda6464647926e78e838b7e9cd.tar.xz | |
bin/return-assignment: cd $base_dir before rm -rf $tmp_dir
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/return-assignment | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/return-assignment b/bin/return-assignment index 5939a09..e24afa6 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -1320,5 +1320,7 @@ trap - EXIT execute_all_intentions +cd "${base_dir}" + export TMPDIR="${work_dir}" trigger_mirror_refreshs |