diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-06-08 16:44:59 +0100 |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-06-08 16:44:59 +0100 |
| commit | dd25423e56610c44fcfb59b44eca772015a1a287 (patch) | |
| tree | 38531a1ee3b17cfb95cfc64cadb028b8645906fc /resources/scripts | |
| parent | 7d4a259c9efbc2e6c5006e0d965e4a4976b54383 (diff) | |
| download | librebootfr-dd25423e56610c44fcfb59b44eca772015a1a287.tar.gz librebootfr-dd25423e56610c44fcfb59b44eca772015a1a287.zip | |
build/release/src: don't delete the build/release/* scripts
The scripts now re-use an existing version file, if that version
file exists, so they are now safe to use in the release archives.
Diffstat (limited to 'resources/scripts')
| -rwxr-xr-x | resources/scripts/helpers/build/release/src | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/resources/scripts/helpers/build/release/src b/resources/scripts/helpers/build/release/src index 9d884084..aab72e95 100755 --- a/resources/scripts/helpers/build/release/src +++ b/resources/scripts/helpers/build/release/src @@ -73,10 +73,9 @@ rm -f "${distdir}/push" # comes with a deblobbed coreboot, the deblobbing scripts aren't needed at all. rm -Rf "${distdir}/resources/utilities/coreboot-libre/" -# We don't want to encourage development to happen on the release archives. -# Development goes in Git. These scripts are not needed in the source archive, -# because the files that they download are already included and trimmed. -rm -Rf "${distdir}/resources/scripts/helpers/build/release/" +# Download scripts not needed, because the modules already exist +# in the src release archive. Trim scripts also not needed, because +# the sources in the _src release archive are already trimmed. rm -f "${distdir}/download" rm -Rf "${distdir}/resources/scripts/helpers/download/" rm -Rf "${distdir}/resources/scripts/helpers/build/trim/" |