diff options
author | Nicolas Dechesne <nicolas.dechesne@linaro.org> | 2013-09-05 15:56:42 +0200 |
---|---|---|
committer | Fathi Boudra <fathi.boudra@linaro.org> | 2013-10-08 13:57:58 +0300 |
commit | 0dcd5462df75c16f80bdbeff2fbca99a6389ae4f (patch) | |
tree | 13463b0a26cbfb9944e4a9b6bce530473f716235 /post-build-manage-buildhistory.sh | |
parent | 4240cd6f062b5895fbfe6807bc07edd23aaa74a9 (diff) |
post-build-manage-buildhistory: do not use $DATE, as it is not defined
It was a copy/paste from a OE conf script, where $DATE is defined,
but not here since we use the Jenkins env vars.
Signed-off-by: Nicolas Dechesne <nicolas.dechesne@linaro.org>
Diffstat (limited to 'post-build-manage-buildhistory.sh')
-rw-r--r-- | post-build-manage-buildhistory.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/post-build-manage-buildhistory.sh b/post-build-manage-buildhistory.sh index 0e63d28..7e226c4 100644 --- a/post-build-manage-buildhistory.sh +++ b/post-build-manage-buildhistory.sh @@ -75,7 +75,7 @@ if [ ! -z "$buildhistory_dir" ] && [ -d $buildhistory_dir ]; then cd _buildhistory git add -A - git commit --allow-empty -m "${DATE}-${BUILD_NUMBER}" + git commit --allow-empty -m "Build : ${BUILD_NUMBER}" git push origin HEAD:$branch else echo "Build history not found" |