Merge pull request #2900 from melted/fix_pkg004
Remove escapes from expected output in pkg004
commit9a04ed3eda7fc4d2b5543e858c75d1fce0dc82c1
authorNiklas Larsson <metaniklas@gmail.com>
dateFri 22 Jan 2016, 05:36 (11 years ago)
parent374b18e18d0204
test/pkg004/expected+3−3
@@ -1,5 +1,5 @@
1−Uncaught error: user error ([1mtest.ipkg[0m:[1m10[0m:[1m1[0m: [91merror[0m: filename
1+Uncaught error: user error (test.ipkg:9:1: error: filename
22 must contain no directory
33 component, expected: space
4−[1m[94m<EOF>[0;1m[0m
5−[92m^[0m )
4+<EOF>
5+^ )
test/pkg004/run+1−1
@@ -2,5 +2,5 @@
22### Test: IPKG executable names CANNOT include a directory separator.
33# TODO: Verify that a name like "a/b\c" is rejected by both *NIX and Windows
44# (assuming these tests get run on Windows).
5−idris $@ --consolewidth 80 --nobanner --nocolor --build test.ipkg
5+idris $@ --build test.ipkg
66rm -f *.ibc
test/pkg004/test.ipkg−1
@@ -2,7 +2,6 @@ package test
22
33modules = Main
44
5−
65opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"
76
87main = Main