summaryrefslogtreecommitdiff
path: root/libraries/time
diff options
context:
space:
mode:
authorSylvain Henry <sylvain@haskus.fr>2018-10-29 19:02:45 +0100
committerKrzysztof Gogolewski <krz.gogolewski@gmail.com>2018-10-29 23:12:05 +0100
commit66cb344dc70d447d2d1c8bc3865bc5a8e68a8656 (patch)
treea6cc91b6939cba0820874e84c314934858496a9f /libraries/time
parent78fb31077e58d949ea644c9d51abe53de9a9d2cb (diff)
downloadhaskell-66cb344dc70d447d2d1c8bc3865bc5a8e68a8656.tar.gz
Correctly detect GIT in a subtree
When we use a git subtree, .git is a file, not a directory. The script was already fixed for the commit ID but not for its date. PR: https://github.com/ghc/ghc/pull/212/
Diffstat (limited to 'libraries/time')
0 files changed, 0 insertions, 0 deletions