git.iko.soy/Idris-dev
on master help sign in
Fix test for Windows path separators
08a89c6Jason Felice
test/pkg004/test.ipkg+1−1
compare with master
unifiedsplit
@@ -5,4 +5,4 @@ modules = Main
5opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"
5opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"
6
6
7main = Main
7main = Main
8−executable = "filenames/cannot include\a directory separator"
8+executable = "filenames/cannot include\\a directory separator"