diff options
| author | Jukka Jylänki <jujjyl@gmail.com> | 2014-03-07 13:58:16 +0200 |
|---|---|---|
| committer | Jukka Jylänki <jujjyl@gmail.com> | 2014-03-07 13:58:16 +0200 |
| commit | 0ad0c0266ba30e3d5dc1a01109feb3e22d55964f (patch) | |
| tree | af18cf566fbd5e0f88911dff06a51dce1f823828 /src | |
| parent | 8e536ebe3ee36b7fe5319d9a2fa8280fe81d57e7 (diff) | |
Support syntax --preload-file x@x where both sides are identical and outside the current source tree. The code would accidentally treat that case as if user had instead written '--preload-file x'. Closes #2201.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions