| Message ID | 20190912165522.8307-1-thomas.petazzoni@bootlin.com |
|---|---|
| State | Accepted |
| Headers | show |
| Series | support/scripts/pkg-stats: simplify Git commit id retrieval | expand |
On Thu, 12 Sep 2019 18:55:22 +0200 Thomas Petazzoni <thomas.petazzoni@bootlin.com> wrote: > As suggested by Baruch Siach, using "git rev-parse HEAD" is a lot > simpler than playing around with "git log" to just retrieve the commit > id corresponding to the current HEAD. > > Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com> > --- > support/scripts/pkg-stats | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-) Applied to master, thanks. Thomas
diff --git a/support/scripts/pkg-stats b/support/scripts/pkg-stats index 6cb3a6a038..e477828f7b 100755 --- a/support/scripts/pkg-stats +++ b/support/scripts/pkg-stats @@ -727,8 +727,8 @@ def __main__(): else: package_list = None date = datetime.datetime.utcnow() - commit = subprocess.check_output(['git', 'log', 'HEAD', '-n', '1', - '--pretty=format:%H']).splitlines()[0] + commit = subprocess.check_output(['git', 'rev-parse', + 'HEAD']).splitlines()[0] print("Build package list ...") packages = get_pkglist(args.npackages, package_list) print("Getting package make info ...")
As suggested by Baruch Siach, using "git rev-parse HEAD" is a lot simpler than playing around with "git log" to just retrieve the commit id corresponding to the current HEAD. Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com> --- support/scripts/pkg-stats | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)