diff options
author | Andreas Färber <afaerber@suse.de> | 2014-03-20 02:01:55 +0100 |
---|---|---|
committer | Peter Maydell <peter.maydell@linaro.org> | 2014-03-31 15:02:04 +0100 |
commit | 8648fcd52a9bcc2aa415cbe87b7c636e545acb38 (patch) | |
tree | e0049892d9fc0a143b03123a9522aff8efdbf5c5 /scripts/make-release | |
parent | b3706faf0d8e4f9275c73895d93a16fbffb9d370 (diff) |
make-release: Record SeaBIOS version
Before deleting .git, determine the version and save it in .version file.
Cc: Gerd Hoffmann <kraxel@redhat.com>
Signed-off-by: Andreas Färber <afaerber@suse.de>
Message-id: 1395277315-7806-1-git-send-email-afaerber@suse.de
Reviewed-by: Gerd Hoffmann <kraxel@redhat.com>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Diffstat (limited to 'scripts/make-release')
-rwxr-xr-x | scripts/make-release | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/make-release b/scripts/make-release index 186358dc7e..fa6323fda8 100755 --- a/scripts/make-release +++ b/scripts/make-release @@ -18,6 +18,7 @@ git clone "${src}" ${destination} pushd ${destination} git checkout "v${version}" git submodule update --init +(cd roms/seabios && git describe --tags --long --dirty > .version) rm -rf .git roms/*/.git dtc/.git pixman/.git popd tar cfj ${destination}.tar.bz2 ${destination} |