diff options
| author | Jose Fonseca <[email protected]> | 2017-08-01 14:36:16 +0100 |
|---|---|---|
| committer | Jose Fonseca <[email protected]> | 2017-08-01 16:33:55 +0100 |
| commit | d4b44783906d3dd37903525dd187c53f4bd26918 (patch) | |
| tree | 8f93c157a34dc83f3587b83e8e632f789cebcca5 /src/Makefile.am | |
| parent | 39608761cd20cbabb975a5d899dfe7c0dd3268b7 (diff) | |
build: Convert git_sha1_gen script to Python (part2).
Things pointed out by Emil.
Reviewed-by: Emil Velikov <[email protected]>
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 8d7483fc758..e055cb8e701 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -21,7 +21,7 @@ .PHONY: git_sha1.h.tmp git_sha1.h.tmp: - @python $(top_srcdir)/bin/git_sha1_gen.py > $@ + @$(PYTHON2) $(top_srcdir)/bin/git_sha1_gen.py > $@ git_sha1.h: git_sha1.h.tmp @echo "updating git_sha1.h" |