diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2016-06-07 13:25:58 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2016-06-07 14:14:38 +0200 |
commit | 0ab0c99851ab8d270389e6423df9ff664d5c5c0d (patch) | |
tree | 1f257f53ef2174cea0a2558f1a626ed930797e52 /README | |
parent | 553350156d80c18d0127c742f47b7adbd642f3ef (diff) |
Makefile: add dependency on scripts/make_device_config.sh
Make sure that config-devices.mak is rebuilt whenever
there is a change in the scripts that generates it.
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions