diff options
| author | Matthias Kilian <kili@outback.escape.de> | 2011-04-18 23:59:51 +0200 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2011-04-20 22:26:20 +0100 |
| commit | 3c287486b41b5f99b20f700a61f5897940403aaf (patch) | |
| tree | 70fa8ed0f5518c8a4c1144392d5287cee2bee35e | |
| parent | 44315e136cf9bc994185e689babec649c127e045 (diff) | |
| download | haskell-3c287486b41b5f99b20f700a61f5897940403aaf.tar.gz | |
do not use sed for version date processing but rather cut and tr
Based on an idea from Karel Gardas, who had troubles with the original
sed version (which didn't work with /usr/bin/sed on Solaris).
| -rw-r--r-- | aclocal.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aclocal.m4 b/aclocal.m4 index 0e72d22afb..ed3d006cbf 100644 --- a/aclocal.m4 +++ b/aclocal.m4 @@ -1116,7 +1116,7 @@ if test "$RELEASE" = "NO"; then AC_MSG_RESULT(given $PACKAGE_VERSION) elif test -d .git; then changequote(, )dnl - ver_date=`git log -n 1 --date=short --pretty=format:%ci | sed "s/^.*\([0-9][0-9][0-9][0-9]\)-\([0-9][0-9]\)-\([0-9][0-9]\).*$/\1\2\3/"` + ver_date=`git log -n 1 --date=short --pretty=format:%ci | cut -d ' ' -f 1 | tr -d -` if echo $ver_date | grep '^[0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9]$' 2>&1 >/dev/null; then true; else changequote([, ])dnl AC_MSG_ERROR([failed to detect version date: check that git is in your path]) |