diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2012-10-24 11:16:01 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2012-12-19 08:29:06 +0100 |
commit | 8e98e2e80b92e08e79e27a0c20a172906cfa12d2 (patch) | |
tree | c37fa9b37bd5a1788765487abb5b9d5ef3355ae7 /configure | |
parent | 76cad71136b7eb371cf2a2a4e1621cfe8d9c769a (diff) |
build: kill libuser
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -4212,9 +4212,6 @@ for rom in seabios vgabios ; do echo "LD=$ld" >> $config_mak done -d=libuser -symlink "$source_path/Makefile.user" "$d/Makefile" - if test "$docs" = "yes" ; then mkdir -p QMP fi |