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