diff options
| author | stuebinm | 2021-12-29 01:02:26 +0000 |
|---|---|---|
| committer | stuebinm | 2021-12-29 01:02:26 +0000 |
| commit | eeb1798880bf9dd37d580d0713987a085b43e385 (patch) | |
| tree | ef702af1e0cf9f6fe094befb5d6bc2d830647dae | |
| parent | bfe19c53c8540c298fa76650be03a189baa66fa5 (diff) | |
| parent | c976492c4c344336c653be61d22c5f80ce854a41 (diff) | |
Merge branch 'tabascoeye-main-patch-92942' into 'main'
Update CheckMap.hs to make missing back link to lobby an ERROR
See merge request hub/walint!7
| -rw-r--r-- | lib/CheckMap.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/CheckMap.hs b/lib/CheckMap.hs index 2677a30..04f3f75 100644 --- a/lib/CheckMap.hs +++ b/lib/CheckMap.hs @@ -93,7 +93,7 @@ runLinter isMain config tiledmap depth = MapResult { mapresultLayer = invertThing layer , mapresultTileset = invertThing tileset , mapresultGeneral = - ([Hint Warning "main.json should link back to the lobby" | isMain && not (any linksLobby layerDeps)]) + ([Hint Error "main.json should link back to the lobby" | isMain && not (any linksLobby layerDeps)]) <> lintsToHints (resultToLints generalResult) , mapresultDepends = resultToDeps generalResult <> layerDeps |