Detect hadrian/make automatically, wrt #846

This commit is contained in:
2023-07-15 19:07:21 +08:00
parent 06eae56646
commit 2fb7328a6e
3 changed files with 37 additions and 12 deletions

View File

@@ -719,4 +719,6 @@ instance Pretty ToolVersion where
data BuildSystem = Hadrian
| Make
deriving (Show, Eq)