diff options
Diffstat (limited to 'passes/memory/memory_bram.cc')
| -rw-r--r-- | passes/memory/memory_bram.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/passes/memory/memory_bram.cc b/passes/memory/memory_bram.cc index efabfc06d..e7a42f26d 100644 --- a/passes/memory/memory_bram.cc +++ b/passes/memory/memory_bram.cc @@ -215,6 +215,9 @@ struct rules_t void parse(string filename) { + if (filename.substr(0, 2) == "+/") + filename = proc_share_dirname() + filename.substr(1); + infile.open(filename); linecount = 0; |