diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure b/configure index e8ad775e4d..936dbf1a0a 100755 --- a/configure +++ b/configure @@ -677,6 +677,7 @@ PWD_P LD AS MIG +OBJCOPY OBJDUMP AR LN_S @@ -4686,6 +4687,8 @@ AR=`$CC -print-prog-name=ar` OBJDUMP=`$CC -print-prog-name=objdump` +OBJCOPY=`$CC -print-prog-name=objcopy` + # Determine whether we are using GNU binutils. { $as_echo "$as_me:${as_lineno-$LINENO}: checking whether $AS is GNU as" >&5 |