summaryrefslogtreecommitdiff
path: root/lang/maude/files/patch-src_Mixfix_main.cc
diff options
context:
space:
mode:
Diffstat (limited to 'lang/maude/files/patch-src_Mixfix_main.cc')
-rw-r--r--lang/maude/files/patch-src_Mixfix_main.cc26
1 files changed, 0 insertions, 26 deletions
diff --git a/lang/maude/files/patch-src_Mixfix_main.cc b/lang/maude/files/patch-src_Mixfix_main.cc
deleted file mode 100644
index 96138bd9b679..000000000000
--- a/lang/maude/files/patch-src_Mixfix_main.cc
+++ /dev/null
@@ -1,26 +0,0 @@
---- src/Mixfix/main.cc.orig Wed Apr 5 22:46:48 2006
-+++ src/Mixfix/main.cc Wed Apr 5 22:49:23 2006
-@@ -284,6 +284,11 @@
- directory = ".";
- return true;
- }
-+ if (directoryManager.checkAccess("%%DATADIR%%", fileName, R_OK))
-+ {
-+ directory = "%%DATADIR%%";
-+ return true;
-+ }
- IssueWarning(LineNumber(FileTable::AUTOMATIC) <<
- ": unable to locate file: " << QUOTE(fileName));
- return false;
-@@ -307,6 +312,11 @@
- directoryManager.checkAccess(executableDirectory, fileName, R_OK, ext))
- {
- directory = executableDirectory;
-+ return true;
-+ }
-+ if (directoryManager.checkAccess("%%DATADIR%%", fileName, R_OK))
-+ {
-+ directory = "%%DATADIR%%";
- return true;
- }
- }