on master help sign in
Switch "windows" to "mingw32"
73e8706Evan Czaplicki
builder/src/Reporting/Progress/Terminal.hs+3−3
@@ -215,19 +215,19 @@ makeBullet name version outcome =
215goodMark :: P.Doc
215goodMark :: P.Doc
216goodMark =
216goodMark =
217 P.green $ P.text $
217 P.green $ P.text $
218− if System.os == "windows" then "+" else "●"
218+ if System.os == "mingw32" then "+" else "●"
219
219
220
220
221badMark :: P.Doc
221badMark :: P.Doc
222badMark =
222badMark =
223 P.red $ P.text $
223 P.red $ P.text $
224− if System.os == "windows" then "X" else "✗"
224+ if System.os == "mingw32" then "X" else "✗"
225
225
226
226
227waitingMark :: P.Doc
227waitingMark :: P.Doc
228waitingMark =
228waitingMark =
229 P.dullyellow $ P.text $
229 P.dullyellow $ P.text $
230− if System.os == "windows" then "-" else "→"
230+ if System.os == "mingw32" then "-" else "→"
231
231
232
232
233
233