test/pkg003: Remove generated executable
It was trying to rm -f a similar but different filename, which left an
executable hanging around after the test.
commit429db44ecb78122f9adf234209f2bc5bccf9b8c2
authorJeremy W. Sherman <jeremyw.sherman@gmail.com>
dateFri 23 Oct 2015, 19:46 (11 years ago)
parenta636f96
test/pkg003/run+1−1
@@ -3,4 +3,4 @@
33### containing a valid filename.
44idris $@ --build test.ipkg
55rm -f *.ibc
6−rm -f 'quoting-allows-hyphens and spaces? and fun stuff!'
6+rm -f 'quoting-allows-hyphens and spaces and fun stuff!'