Revision 94a420b1 configure
b/configure | ||
---|---|---|
317 | 317 |
check_utests="no" |
318 | 318 |
user_pie="no" |
319 | 319 |
zero_malloc="" |
320 |
trace_backend="nop" |
|
320 | 321 |
|
321 | 322 |
# OS specific |
322 | 323 |
if check_define __linux__ ; then |
... | ... | |
519 | 520 |
;; |
520 | 521 |
--target-list=*) target_list="$optarg" |
521 | 522 |
;; |
523 |
--trace-backend=*) trace_backend="$optarg" |
|
524 |
;; |
|
522 | 525 |
--enable-gprof) gprof="yes" |
523 | 526 |
;; |
524 | 527 |
--static) |
... | ... | |
897 | 900 |
echo " --disable-docs disable documentation build" |
898 | 901 |
echo " --disable-vhost-net disable vhost-net acceleration support" |
899 | 902 |
echo " --enable-vhost-net enable vhost-net acceleration support" |
903 |
echo " --trace-backend=B Trace backend nop" |
|
900 | 904 |
echo "" |
901 | 905 |
echo "NOTE: The object files are built at the place where configure is launched" |
902 | 906 |
exit 1 |
... | ... | |
2059 | 2063 |
fdatasync=yes |
2060 | 2064 |
fi |
2061 | 2065 |
|
2066 |
########################################## |
|
2067 |
# check if trace backend exists |
|
2068 |
|
|
2069 |
sh "$source_path/tracetool" "--$trace_backend" --check-backend > /dev/null 2> /dev/null |
|
2070 |
if test "$?" -ne 0 ; then |
|
2071 |
echo |
|
2072 |
echo "Error: invalid trace backend" |
|
2073 |
echo "Please choose a supported trace backend." |
|
2074 |
echo |
|
2075 |
exit 1 |
|
2076 |
fi |
|
2077 |
|
|
2062 | 2078 |
# End of CC checks |
2063 | 2079 |
# After here, no more $cc or $ld runs |
2064 | 2080 |
|
... | ... | |
2189 | 2205 |
echo "fdatasync $fdatasync" |
2190 | 2206 |
echo "uuid support $uuid" |
2191 | 2207 |
echo "vhost-net support $vhost_net" |
2208 |
echo "Trace backend $trace_backend" |
|
2192 | 2209 |
|
2193 | 2210 |
if test $sdl_too_old = "yes"; then |
2194 | 2211 |
echo "-> Your SDL version is too old - please upgrade to have SDL support" |
... | ... | |
2450 | 2467 |
;; |
2451 | 2468 |
esac |
2452 | 2469 |
|
2470 |
echo "TRACE_BACKEND=$trace_backend" >> $config_host_mak |
|
2453 | 2471 |
echo "TOOLS=$tools" >> $config_host_mak |
2454 | 2472 |
echo "ROMS=$roms" >> $config_host_mak |
2455 | 2473 |
echo "MAKE=$make" >> $config_host_mak |
Also available in: Unified diff