diff options
Diffstat (limited to 'dev-lang/mercury/files/mercury-10.04-tests-sandbox.patch')
-rw-r--r-- | dev-lang/mercury/files/mercury-10.04-tests-sandbox.patch | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/dev-lang/mercury/files/mercury-10.04-tests-sandbox.patch b/dev-lang/mercury/files/mercury-10.04-tests-sandbox.patch new file mode 100644 index 000000000000..fb1c4c05b091 --- /dev/null +++ b/dev-lang/mercury/files/mercury-10.04-tests-sandbox.patch @@ -0,0 +1,64 @@ +diff -ur mercury-tests-10.04.orig/hard_coded/dir_test.exp mercury-tests-10.04/hard_coded/dir_test.exp +--- mercury-tests-10.04.orig/hard_coded/dir_test.exp 2007-09-21 15:21:35.000000000 +1200 ++++ mercury-tests-10.04/hard_coded/dir_test.exp 2010-07-19 21:03:29.000000000 +1200 +@@ -130,7 +130,6 @@ + "foo"/"bar/baz" = "foo\bar\baz". + "foo/"/"bar/baz" = "foo\bar\baz". + checking whether `unwritable' is readable...ok +-unwritable file found to be unwritable + current_directory succeeded: hard_coded + make_directory succeeded + make_directory succeeded +diff -ur mercury-tests-10.04.orig/hard_coded/dir_test.exp2 mercury-tests-10.04/hard_coded/dir_test.exp2 +--- mercury-tests-10.04.orig/hard_coded/dir_test.exp2 2007-10-01 18:40:43.000000000 +1300 ++++ mercury-tests-10.04/hard_coded/dir_test.exp2 2010-07-19 21:03:29.000000000 +1200 +@@ -127,7 +127,6 @@ + "foo"/"bar/baz" = "foo/bar/baz". + "foo/"/"bar/baz" = "foo/bar/baz". + checking whether `unwritable' is readable...ok +-unwritable file found to be unwritable + current_directory succeeded: hard_coded + make_directory succeeded + make_directory succeeded +diff -ur mercury-tests-10.04.orig/hard_coded/dir_test.exp3 mercury-tests-10.04/hard_coded/dir_test.exp3 +--- mercury-tests-10.04.orig/hard_coded/dir_test.exp3 2007-10-01 18:40:43.000000000 +1300 ++++ mercury-tests-10.04/hard_coded/dir_test.exp3 2010-07-19 21:03:30.000000000 +1200 +@@ -130,7 +130,6 @@ + "foo"/"bar/baz" = "foo/bar/baz". + "foo/"/"bar/baz" = "foo/bar/baz". + checking whether `unwritable' is readable...ok +-unwritable file found to be unwritable + current_directory succeeded: hard_coded + make_directory succeeded + make_directory succeeded +diff -ur mercury-tests-10.04.orig/hard_coded/dir_test.exp4 mercury-tests-10.04/hard_coded/dir_test.exp4 +--- mercury-tests-10.04.orig/hard_coded/dir_test.exp4 2010-03-04 13:39:48.000000000 +1300 ++++ mercury-tests-10.04/hard_coded/dir_test.exp4 2010-07-19 21:03:30.000000000 +1200 +@@ -127,7 +127,6 @@ + "foo"/"bar/baz" = "foo/bar/baz". + "foo/"/"bar/baz" = "foo/bar/baz". + checking whether `unwritable' is readable...ok +-unwritable file found to be unwritable + current_directory succeeded: hard_coded + make_directory succeeded + make_directory succeeded +diff -ur mercury-tests-10.04.orig/hard_coded/dir_test.m mercury-tests-10.04/hard_coded/dir_test.m +--- mercury-tests-10.04.orig/hard_coded/dir_test.m 2010-02-09 16:39:39.000000000 +1300 ++++ mercury-tests-10.04/hard_coded/dir_test.m 2010-07-19 21:03:30.000000000 +1200 +@@ -50,16 +50,6 @@ + io__write(ReadResult), + io__nl, + +- io__check_file_accessibility("unwritable", +- [read, write], WriteResult), +- ( { WriteResult = ok } -> +- io__write_string( +- "Error: unwritable file found to be writable\n") +- ; +- io__write_string( +- "unwritable file found to be unwritable\n") +- ), +- + % Execute permissions are not handled correctly on all platforms so + % just check that it doesn't crash. + io__check_file_accessibility("unwritable", |