Comments
Patch
@@ -758,6 +758,8 @@ echo " --disable-debug disable common debug build options"
echo " --enable-debug enable common debug build options"
echo " --disable-debug-tcg disable TCG debugging (default)"
echo " --enable-debug-tcg enable TCG debugging"
+echo " --disable-docs disable documentation generation"
+echo " --enable-docs enable documentation generation"
echo " --disable-fdt disable fdt device tree"
echo " --enable-fdt enable fdt device tree"
echo " --disable-gprof disable gprof profiling"
Signed-off-by: Juan Quintela <quintela@redhat.com> --- configure | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-)