From 6f8b771a37f4ea2a78ba8a439f46a3db68774da3 Mon Sep 17 00:00:00 2001 From: Guido Cossu Date: Thu, 10 Nov 2016 18:52:00 +0000 Subject: [PATCH] Adding date of the last commit --- scripts/configure.commit | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/configure.commit b/scripts/configure.commit index 77991392..afc662eb 100755 --- a/scripts/configure.commit +++ b/scripts/configure.commit @@ -1,5 +1,3 @@ - - #! /bin/sh # Display the SHA1 of the commit in which configure.ac was last modified. # If it's not checked in yet, use the SHA1 of HEAD plus -dirty. @@ -13,7 +11,9 @@ elif git diff --quiet HEAD -- configure.ac ; then # configure.ac is not modified printf 'commit: %s\n' `git rev-parse --short HEAD -- configure.ac` printf 'branch: %s\n' `git rev-parse --abbrev-ref HEAD` + printf 'date : %s\n' `git log -1 --date=short --pretty=format:%cd` else # configure.ac is modified printf 'commit: %s-dirty\n' `git rev-parse --short HEAD` printf 'branch: %s\n' `git rev-parse --abbrev-ref HEAD` + printf 'date : %s\n' `git log -1 --date=short --pretty=format:%cd` fi \ No newline at end of file