projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 755053f) | patch
* runtest.exp: Only match $directory, not *${directory}* when the
authorBen Elliston <bje@gnu.org>
Tue, 14 Oct 2014 09:50:49 +0000 (20:50 +1100)
committerBen Elliston <bje@gnu.org>
Tue, 14 Oct 2014 09:50:49 +0000 (20:50 +1100)
commit5704cbfcf41f62aaba671a829dde9d69c2c6ece4
tree18e10c4bc83dfdfcdbf07bbeb26fc070d48a43cctree | snapshot
parent755053ffe1c4cec9b230f1972bdb6d46822e3fb6commit | diff
* runtest.exp: Only match $directory, not *${directory}* when the
user passes the --directory option. Reported by Sergey Alyoshin.
ChangeLog diff | blob | history
runtest.exp diff | blob | history
Domain: System / Toolchain;