diff options
Diffstat (limited to 'dev-lang/mercury/files/mercury-0.13.1-tests-mdbrc.patch')
| -rw-r--r-- | dev-lang/mercury/files/mercury-0.13.1-tests-mdbrc.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/dev-lang/mercury/files/mercury-0.13.1-tests-mdbrc.patch b/dev-lang/mercury/files/mercury-0.13.1-tests-mdbrc.patch new file mode 100644 index 000000000000..64ad9c6b1ed6 --- /dev/null +++ b/dev-lang/mercury/files/mercury-0.13.1-tests-mdbrc.patch @@ -0,0 +1,22 @@ +--- mercury-tests-0.13.1.orig/mdbrc 1970-01-01 12:00:00.000000000 +1200 ++++ mercury-tests-0.13.1/mdbrc 2007-01-07 15:51:35.000000000 +1300 +@@ -0,0 +1,19 @@ ++source MDB_DOC ++alias s step ++alias g goto ++alias f finish ++alias r retry ++alias v vars ++alias p print ++alias P print * ++alias d stack ++alias c continue ++alias b break ++alias h help ++alias ? help ++alias excp exception ++alias e exception ++alias EMPTY step ++alias NUMBER step ++xml_browser_cmd '' ++xml_tmp_filename '' |