ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-21 14:09:30 +03:00
Code Issues Projects Releases Wiki Activity

adjust test unique002 with --consolewidth for use with -f curses

Browse Source
This commit is contained in:
Andreas Reuleaux 2015-03-19 18:36:28 +00:00
parent 7da6edae29
commit d0310fda39
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/unique002/run
View File

@ -1,4 +1,4 @@
#!/usr/bin/env bash
idris $@ unique002.idr --check
idris $@ unique002a.idr --check
idris --consolewidth 80 $@ unique002.idr --check
idris --consolewidth 80 $@ unique002a.idr --check
rm -f *.ibc