diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-06-08 16:42:33 +0100 |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-06-08 16:42:33 +0100 |
| commit | 7d4a259c9efbc2e6c5006e0d965e4a4976b54383 (patch) | |
| tree | 9f609844104c9351c5157b73f8628ed44caf092c /resources/scripts/helpers/build/release/docs | |
| parent | 75d714f5500d88bf9f6ed5c89a5ae29b32955563 (diff) | |
| download | librebootfr-7d4a259c9efbc2e6c5006e0d965e4a4976b54383.tar.gz librebootfr-7d4a259c9efbc2e6c5006e0d965e4a4976b54383.zip | |
build/release/*: if version file already exists, re-use it
Diffstat (limited to 'resources/scripts/helpers/build/release/docs')
| -rwxr-xr-x | resources/scripts/helpers/build/release/docs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/resources/scripts/helpers/build/release/docs b/resources/scripts/helpers/build/release/docs index 523d1760..410e8fae 100755 --- a/resources/scripts/helpers/build/release/docs +++ b/resources/scripts/helpers/build/release/docs @@ -25,7 +25,13 @@ set -u -e printf 'Building the documentation release archive\n' -version="$(git describe --tags HEAD)" +if [ -f "version" ]; then + # _src release archive is being used + version="$(cat version)" +else + # git repo is being used + version="$(git describe --tags HEAD)" +fi versiondir="release/${version}" distdir="${versiondir}/libreboot_${version}_docs" |