diff options
Diffstat (limited to 'gdb/configure')
| -rwxr-xr-x | gdb/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/configure b/gdb/configure index fd8160951ed..12260dea3be 100755 --- a/gdb/configure +++ b/gdb/configure @@ -12462,7 +12462,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $gdb_cv_var_elf" >&5 $as_echo "$gdb_cv_var_elf" >&6; } if test $gdb_cv_var_elf = yes; then - CONFIG_OBS="$CONFIG_OBS elfread.o" + CONFIG_OBS="$CONFIG_OBS elfread.o stap-probe.o" $as_echo "#define HAVE_ELF 1" >>confdefs.h |