Fix Git-commit-id detection for RELEASE=YES
authorHerbert Valerio Riedel <hvr@gnu.org>
Thu, 26 Mar 2015 21:39:52 +0000 (22:39 +0100)
committerHerbert Valerio Riedel <hvr@gnu.org>
Thu, 26 Mar 2015 21:39:52 +0000 (22:39 +0100)
commit5aa57d0137e7626a2ed2b3656d24d7a1aac74e58
tree1209cdef96d5dad088665e49181332ab7f7f6a1a
parent9db005a444722e31aca1956b058e069bcf3cacbd
Fix Git-commit-id detection for RELEASE=YES

By mistake, the Git-commit-id detection was only enabled for
`RELEASE=NO` (since the date-based GHC version computation is
only active in that case). With this commit the commit-id
detection is active regardless of the `RELEASE`-setting.

This is a follow-up to 73e5e2f8bade2d8b2b1ecae958fe12d0b24591ef
aclocal.m4