diff options
author | 2015-05-11 09:44:01 -0400 | |
---|---|---|
committer | 2015-05-11 09:44:01 -0400 | |
commit | 766eab2a6a1d199863fa6aa42c59ec4497ad752c (patch) | |
tree | 620f5458bb05547cb5a26107c03ef140067898db /Build/Version.hs | |
parent | 90c959af533420b1fe0ab4cdc45a96743bbb5902 (diff) |
require RELEAEE_BUILD to be 1, not any value
Diffstat (limited to 'Build/Version.hs')
-rw-r--r-- | Build/Version.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/Version.hs b/Build/Version.hs index d2fbe6e0f..44b2b975b 100644 --- a/Build/Version.hs +++ b/Build/Version.hs @@ -20,7 +20,7 @@ type Version = String {- Set when making an official release. (Distribution vendors should set - this too.) -} isReleaseBuild :: IO Bool -isReleaseBuild = isJust <$> catchMaybeIO (getEnv "RELEASE_BUILD") +isReleaseBuild = (== Just "1") <$> catchMaybeIO (getEnv "RELEASE_BUILD") {- Version is usually based on the major version from the changelog, - plus the date of the last commit, plus the git rev of that commit. |