diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-02-15 22:27:09 (EST) |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-02-15 22:27:09 (EST) |
commit | 984326078546180a09b30ddd4afecdcff41892ef (patch) | |
tree | d2ec8e2b8d882bf2f0c575d563681e159b75b876 | |
parent | 2a1e40fb992cf5fa297235db1eb1427ec3971b47 (diff) | |
download | libreboot-984326078546180a09b30ddd4afecdcff41892ef.zip libreboot-984326078546180a09b30ddd4afecdcff41892ef.tar.gz libreboot-984326078546180a09b30ddd4afecdcff41892ef.tar.bz2 |
build/release/archives: Delete the uncompressed archives
If the user forgot to run "./build rom withgrub" before
"./build release archives" and it fails (due to bin/ being
missing), the user then runs "./build rom withgrub", but
"./build release archives" then shows the error that the
libreboot_src directory already exists, and fails again.
-rwxr-xr-x | resources/scripts/helpers/build/release/archives | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/release/archives b/resources/scripts/helpers/build/release/archives index 64354c4..451e786 100755 --- a/resources/scripts/helpers/build/release/archives +++ b/resources/scripts/helpers/build/release/archives @@ -54,6 +54,10 @@ echo "Deleting old release archives" rm -f libreboot_*.tar.xz rm -f tobuild.tar.xz rm -rf release/ +rm -rf tobuild/ +rm -rf libreboot_bin +rm -rf libreboot_src +rm -rf libreboot_doc # Get manifest which will be used to copy everything find -maxdepth 1 > releasefilelist |