HomeSort by: relevance | last modified time | path
    Searched refs:enable_profiling (Results 1 - 5 of 5) sorted by relevancy

  /src/external/lgpl3/gmp/dist/
configure 843 enable_profiling
3865 if test "${enable_profiling+set}" = set; then :
3866 enableval=$enable_profiling; case $enableval in
3871 enable_profiling=no
3875 case $enable_profiling in
3894 echo "define(<WANT_PROFILING>,<\`$enable_profiling'>)" >> $gmp_tmpconfigm4
3898 if test "$enable_profiling" = gprof; then
5930 case "$enable_profiling" in
27068 case $enable_profiling in
  /src/external/gpl3/gdb.old/dist/gdb/
configure 944 enable_profiling
25562 if test "${enable_profiling+set}" = set; then :
25563 enableval=$enable_profiling;
25573 enable_profiling=no
25659 if test "$enable_profiling" = yes ; then
    [all...]
  /src/external/gpl3/gdb/dist/gdb/
configure 945 enable_profiling
25506 if test "${enable_profiling+set}" = set; then :
25507 enableval=$enable_profiling;
25517 enable_profiling=no
25603 if test "$enable_profiling" = yes ; then
    [all...]
  /src/external/apache2/llvm/autoconf/
configure 731 ENABLE_PROFILING
837 enable_profiling
4866 if test "${enable_profiling+set}" = set; then :
4867 enableval=$enable_profiling;
4873 ENABLE_PROFILING=
4876 ENABLE_PROFILING=ENABLE_PROFILING=1
  /src/external/gpl2/lvm2/dist/
configure 824 enable_profiling
12075 if test "${enable_profiling+set}" = set; then
12076 enableval=$enable_profiling; PROFILING=$enableval

Completed in 107 milliseconds