git.iko.soy/Idris-dev
on master help sign in
Fix missing consolewidth in test
f3effd1Niklas Larsson
test/basic017/run+2−2
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−${IDRIS:-idris} $@ basic017.idr --check --nocolor
2+${IDRIS:-idris} $@ basic017.idr --check --nocolor --consolewidth 80
3−${IDRIS:-idris} $@ basic017a.idr --check --nocolor
3+${IDRIS:-idris} $@ basic017a.idr --check --nocolor --consolewidth 80
4rm -f *.ibc
4rm -f *.ibc