Signed-off-by: Lluís Vilanova <vilan...@ac.upc.edu> --- configure | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/configure b/configure index 4d22470..9f3a43d 100755 --- a/configure +++ b/configure @@ -3618,6 +3618,7 @@ DIRS="$DIRS roms/seabios roms/vgabios" DIRS="$DIRS fsdev ui" DIRS="$DIRS qapi" DIRS="$DIRS qga" +DIRS="$DIRS trace" FILES="Makefile tests/Makefile" FILES="$FILES tests/cris/Makefile tests/cris/.gdbinit" FILES="$FILES pc-bios/optionrom/Makefile pc-bios/keymaps"
