diff options
Diffstat (limited to 'lang/maude/files/patch-src_Mixfix_main.cc')
-rw-r--r-- | lang/maude/files/patch-src_Mixfix_main.cc | 26 |
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; - } - } |