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 /Makefile.target | |
| 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 'Makefile.target')
0 files changed, 0 insertions, 0 deletions