diff options
| -rwxr-xr-x | bin/reproducible_coreboot.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/reproducible_coreboot.sh b/bin/reproducible_coreboot.sh index c39771cf..a0a7f463 100755 --- a/bin/reproducible_coreboot.sh +++ b/bin/reproducible_coreboot.sh @@ -271,8 +271,6 @@ echo -n "$COREBOOT" >> $PAGE write_page " </pre></p>" write_page " </div></div>" write_page_footer coreboot -cd .. -PAGE=coreboot/coreboot.html publish_page # the end @@ -282,6 +280,7 @@ irc_message "$REPRODUCIBLE_URL/coreboot/ has been updated." echo "=============================================================================" # remove coreboot tree, we don't need it anymore... +cd rm coreboot -r cleanup_tmpdir trap - INT TERM EXIT |