adjust test unique002 with --consolewidth for use with -f curses
commitd0310fda392f07d9f101fa36b766717dc440a673
authorAndreas Reuleaux <arx@a-rx.info>
dateThu 19 Mar 2015, 18:36 (12 years ago)
parent7da6eda
test/unique002/run+2−2
@@ -1,4 +1,4 @@
11#!/usr/bin/env bash
2−idris $@ unique002.idr --check
3−idris $@ unique002a.idr --check
2+idris --consolewidth 80 $@ unique002.idr --check
3+idris --consolewidth 80 $@ unique002a.idr --check
44rm -f *.ibc