diff options
| author | Stefan Hajnoczi <stefanha@redhat.com> | 2013-03-08 15:52:15 +0100 |
|---|---|---|
| committer | Stefan Hajnoczi <stefanha@redhat.com> | 2013-03-28 14:19:57 +0100 |
| commit | a7373b1f61d106ef5c9710eb56e942f513dc512d (patch) | |
| tree | 53548f5965bdcf530946577acc91b43a0916f9c4 /.gitignore | |
| parent | c6f18b9195b4251f32b6ac8e149b449354c1c93b (diff) | |
trace: rebuild generated-events.o when configuration changes
Make sure to rebuild generated-events.o when ./configure options change.
This prevents linker errors when a stale generated-events.o gets linked
with code compiled against fresh headers. For example, try building
with ./configure --enable-trace-backend=stderr followed by ./configure
--enable-trace-backend=dtrace.
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions