diff options
| author | Lluís Vilanova <vilanova@ac.upc.edu> | 2017-07-24 12:41:51 +0300 |
|---|---|---|
| committer | Alex Bennée <alex.bennee@linaro.org> | 2019-10-28 15:12:38 +0000 |
| commit | f308f64e760abfaa1cf343a3a213951aacba6d26 (patch) | |
| tree | 8d3613610e551bf890d43da968f48f265de8bf08 /configure | |
| parent | 42229a753908a0ab6672209535f644e3aaceb8ab (diff) | |
linux-user: 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 'configure')
0 files changed, 0 insertions, 0 deletions