diff options
author | Marcin Juszkiewicz <marcin.juszkiewicz@linaro.org> | 2019-01-30 12:47:03 +0100 |
---|---|---|
committer | Marcin Juszkiewicz <marcin.juszkiewicz@linaro.org> | 2019-02-07 08:19:14 +0000 |
commit | 3c4635c5a37f5e8d42adc33818268551e3ee4e68 (patch) | |
tree | aa86092233cf784f76b1ec349bf2ffcbf06be7f9 /rpb-kernel-enterprise-deb | |
parent | 9a34f758601c9dbc7c0e6aec08c1810cbddcc61b (diff) |
rpb-kernel-enterprise-deb: show packaging revision
Change-Id: I9f7a18e05179389f5f651ec70c13aa90f12b3c41
Diffstat (limited to 'rpb-kernel-enterprise-deb')
-rw-r--r-- | rpb-kernel-enterprise-deb/build.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rpb-kernel-enterprise-deb/build.sh b/rpb-kernel-enterprise-deb/build.sh index a89cc2d8..df748b8a 100644 --- a/rpb-kernel-enterprise-deb/build.sh +++ b/rpb-kernel-enterprise-deb/build.sh @@ -22,6 +22,9 @@ git tag -f v${kernel_deb_pkg_version//\~/-} # Build the debian source kernel cd ${WORKSPACE}/debian-pkg +# Show top revision +git log -1 + # Use build number as ABI sed -i "s/^abiname:.*/abiname: ${BUILD_NUMBER}/g" debian/config/defines |