mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-11-29 01:45:36 +03:00
Setup.hs: unbreak 'runhaskell Setup configure' building mode
Otherwise default hook won't generate src/GitRev.hs file. Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
This commit is contained in:
parent
87042d4604
commit
b713a8ac9f