Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPavlo Yatsukhnenko <yatsukhnenko@gmail.com>2018-02-26 11:36:15 +0300
committerPavlo Yatsukhnenko <yatsukhnenko@gmail.com>2018-02-26 11:36:15 +0300
commitfcc91a293a13b3a9f721f65da0595dc3e5eae3ca (patch)
treeab6fe65137c37668c517e27793bf2d2cf06d2e66 /config.m4
parent9240293546765386b827d01739f899e60045b78a (diff)
Show git revision in phpinfo
Diffstat (limited to 'config.m4')
-rwxr-xr-xconfig.m45
1 files changed, 5 insertions, 0 deletions
diff --git a/config.m4 b/config.m4
index ef4d9e09..f8703037 100755
--- a/config.m4
+++ b/config.m4
@@ -97,6 +97,11 @@ dnl Check for igbinary
fi
fi
+ AC_CHECK_PROG([GIT], [git], [yes], [no])
+ if test "$GIT" == "yes" && test -d "$srcdir/.git"; then
+ AC_DEFINE_UNQUOTED(GIT_REVISION, ["$(git log -1 --format=%H)"], [ ])
+ fi
+
dnl # --with-redis -> check with-path
dnl SEARCH_PATH="/usr/local /usr" # you might want to change this
dnl SEARCH_FOR="/include/redis.h" # you most likely want to change this