diff options
author | pacien | 2019-12-29 09:54:55 +0100 |
---|---|---|
committer | pacien | 2019-12-29 09:54:55 +0100 |
commit | 119d837edce4d4c109539b6722fab162ab29c0b0 (patch) | |
tree | 6fb2c1e188d839c87ee9db90fe0b0a1ae6a29059 /compiler/src/Files.hs | |
parent | 1872dbe68d4a68f43990f8a93e3ff4716eecf525 (diff) | |
download | ldgallery-119d837edce4d4c109539b6722fab162ab29c0b0.tar.gz |
compiler: allow fast recovery from partial gallery compilation
Diffstat (limited to 'compiler/src/Files.hs')
-rw-r--r-- | compiler/src/Files.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/src/Files.hs b/compiler/src/Files.hs index fb46c33..079da61 100644 --- a/compiler/src/Files.hs +++ b/compiler/src/Files.hs | |||
@@ -131,8 +131,8 @@ remove path = | |||
131 | putStrLn $ "Removing:\t" ++ path | 131 | putStrLn $ "Removing:\t" ++ path |
132 | removePathForcibly path | 132 | removePathForcibly path |
133 | 133 | ||
134 | isOutdated :: FilePath -> FilePath -> IO Bool | 134 | isOutdated :: Bool -> FilePath -> FilePath -> IO Bool |
135 | isOutdated ref target = | 135 | isOutdated onMissingTarget ref target = |
136 | do | 136 | do |
137 | refExists <- doesPathExist ref | 137 | refExists <- doesPathExist ref |
138 | targetExists <- doesPathExist target | 138 | targetExists <- doesPathExist target |
@@ -142,4 +142,4 @@ isOutdated ref target = | |||
142 | targetTime <- getModificationTime target | 142 | targetTime <- getModificationTime target |
143 | return (targetTime < refTime) | 143 | return (targetTime < refTime) |
144 | else | 144 | else |
145 | return True | 145 | return onMissingTarget |