diff options
| author | Lluís Vilanova <vilanova@ac.upc.edu> | 2017-07-24 17:28:22 +0300 |
|---|---|---|
| committer | Alex Bennée <alex.bennee@linaro.org> | 2019-10-28 15:12:38 +0000 |
| commit | 42229a753908a0ab6672209535f644e3aaceb8ab (patch) | |
| tree | debe870f55074df556d9fd4a8df9c5f16b5165ad /linux-user | |
| parent | ca76a66975f018c323cb609c0c55a4c8d4acde3b (diff) | |
vl: support -plugin option
Signed-off-by: Lluís Vilanova <vilanova@ac.upc.edu>
[ cota: s/instrument/plugin ]
Signed-off-by: Emilio G. Cota <cota@braap.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Diffstat (limited to 'linux-user')
0 files changed, 0 insertions, 0 deletions