@@ -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