diff options
author | stuebinm | 2021-12-16 03:27:25 +0100 |
---|---|---|
committer | stuebinm | 2021-12-16 03:27:25 +0100 |
commit | 502266b2d24e3cda2e5f2d0d98483b914f3c53ad (patch) | |
tree | c17ff8ee64efe7c0459b1bb4a444151ad63cd8e0 | |
parent | 41d5441c3d1974a84f14b7eb702aa240338ac9fa (diff) |
abort copying on missing assets
-rw-r--r-- | lib/CheckDir.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/CheckDir.hs b/lib/CheckDir.hs index 5ad195f..d6a7bd5 100644 --- a/lib/CheckDir.hs +++ b/lib/CheckDir.hs @@ -65,7 +65,9 @@ newtype MissingAsset = MissingAsset MissingDep -- | given this config, should the result be considered to have failed? resultIsFatal :: LintConfig' -> DirResult -> Bool -resultIsFatal config res = maximumLintLevel res > configMaxLintLevel config +resultIsFatal config res = + not (null $ dirresultMissingAssets res) + || maximumLintLevel res > configMaxLintLevel config -- | maximum lint level that was observed anywhere in any map. -- note that it really does go through all lints, so don't |