Merge PR #2
commit2ae047ba5e4a6f0f3e705a43615363ac006099c1
authorAdam C. Foltzer <acfoltzer@galois.com>
dateMon 11 Jan 2016, 11:50 (11 years ago)
parent09f84a274b2e3d
src/Development/GitRev.hs+2−2
@@ -108,8 +108,8 @@ gitDirty :: ExpQ
108108gitDirty = do
109109 output <- runGit ["status", "--porcelain"] "" IdxUsed
110110 case output of
111− "" -> conE $ mkName "Prelude.False"
112− _ -> conE $ mkName "Prelude.True"
111+ "" -> conE falseName
112+ _ -> conE trueName
113113
114114-- | Return the number of commits in the current head
115115gitCommitCount :: ExpQ