remove uninofrmative warning
dateUnusedLog is only used to show a timestamp in the webapp, so not worth a warning
This commit is contained in:
parent
a7b3a2b097
commit
9f27339e80
1 changed files with 0 additions and 1 deletions
|
@ -99,7 +99,6 @@ dateUnusedLog prefix = do
|
||||||
f <- fromRepo $ gitAnnexUnusedLog prefix
|
f <- fromRepo $ gitAnnexUnusedLog prefix
|
||||||
liftIO $ catchMaybeIO $ getModificationTime f
|
liftIO $ catchMaybeIO $ getModificationTime f
|
||||||
#else
|
#else
|
||||||
#warning foo
|
|
||||||
-- old ghc's getModificationTime returned a ClockTime
|
-- old ghc's getModificationTime returned a ClockTime
|
||||||
dateUnusedLog _prefix = return Nothing
|
dateUnusedLog _prefix = return Nothing
|
||||||
#endif
|
#endif
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue