Signed-off-by: Paolo Bonzini
---
Makefile| 8 +++-
Makefile.objs | 3 ++-
Makefile.target | 3 +--
Makefile.user | 24
configure | 3 ---
5 files changed, 6 insertions(+), 35 deletions(-)
delete mode 100644 Makefile.user
diff --git a/Makefile b
Signed-off-by: Paolo Bonzini
---
Makefile|8 +++-
Makefile.objs |3 ++-
Makefile.target |3 +--
Makefile.user | 24
configure |3 ---
5 files changed, 6 insertions(+), 35 deletions(-)
delete mode 100644 Makefile.user
diff --git a/
Signed-off-by: Paolo Bonzini
---
Makefile|8 +++-
Makefile.objs |3 ++-
Makefile.target |3 +--
Makefile.user | 24
configure |3 ---
5 files changed, 6 insertions(+), 35 deletions(-)
delete mode 100644 Makefile.user
diff --git a/