provide IdxNotUsed argument to merged command
commit783f8c2312486bd0de04496ee69e076bac7828d0
authorAdam C. Foltzer <acfoltzer@galois.com>
dateMon 11 Jan 2016, 11:58 (11 years ago)
parente90c3b1
src/Development/GitRev.hs+1−1
@@ -120,4 +120,4 @@ gitCommitCount =
120120-- | Return the commit date of the current head
121121gitCommitDate :: ExpQ
122122gitCommitDate =
123− stringE =<< runGit ["log", "HEAD", "-1", "--format=%cd"] "UNKNOWN"
123+ stringE =<< runGit ["log", "HEAD", "-1", "--format=%cd"] "UNKNOWN" IdxNotUsed