diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2011-03-12 17:43:55 +0100 |
---|---|---|
committer | Blue Swirl <blauwirbel@gmail.com> | 2011-03-13 14:44:21 +0000 |
commit | 38a42e7c527f3d1fb745211b1fbb7b9af76f790f (patch) | |
tree | a505ee4a5ab6619f47d03a3f2af1fe5b63bae47d /Makefile.user | |
parent | 89b48b56812a1a2d5b7edc927a7853d952e7fb38 (diff) |
remove CONFIG_THREAD
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
Diffstat (limited to 'Makefile.user')
0 files changed, 0 insertions, 0 deletions