diff options
| -rwxr-xr-x | bin/reproducible_coreboot.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/reproducible_coreboot.sh b/bin/reproducible_coreboot.sh index d40eb358..d431335d 100755 --- a/bin/reproducible_coreboot.sh +++ b/bin/reproducible_coreboot.sh @@ -77,8 +77,9 @@ save_coreboot_results(){ cp -p $i/coreboot.rom $TMPDIR/$RUN/$i/ fi done -cd .. -rm coreboot-builds -r + cd .. + rm coreboot-builds -r +} # # main |