Merge pull request #2965 from melted/fix_2964
Fix missing consolewidth in test
commitf2eaf90336164329d68ba0d3a2ff5ad384e3689f
authorDavid Christiansen <david@davidchristiansen.dk>
dateThu 11 Feb 2016, 08:17 (11 years ago)
parent56122b5f3effd1
test/basic017/run+2−2
@@ -1,4 +1,4 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ basic017.idr --check --nocolor
3−${IDRIS:-idris} $@ basic017a.idr --check --nocolor
2+${IDRIS:-idris} $@ basic017.idr --check --nocolor --consolewidth 80
3+${IDRIS:-idris} $@ basic017a.idr --check --nocolor --consolewidth 80
44rm -f *.ibc