diff options
author | Andrew Waterman <andrew@sifive.com> | 2018-03-15 12:08:02 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2018-03-15 12:11:07 -0700 |
commit | 06a9e345f526d45c12ec79c5c01af0331b0c1757 (patch) | |
tree | 86112234f0402ec20949b6b83f5ab1d82ae7dd4a /configure | |
parent | 2bbd8e1a1bccae13ec87882baf423abfc6ef76fd (diff) | |
download | riscv-pk-06a9e345f526d45c12ec79c5c01af0331b0c1757.zip riscv-pk-06a9e345f526d45c12ec79c5c01af0331b0c1757.tar.gz riscv-pk-06a9e345f526d45c12ec79c5c01af0331b0c1757.tar.bz2 |
Don't link build-id string
Closes #88
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -4095,6 +4095,8 @@ case "${BUILD_32BIT}" in ;; esac +LDFLAGS="$LDFLAGS -Wl,--build-id=none" + # Check whether --enable-print-device-tree was given. if test "${enable_print_device_tree+set}" = set; then : enableval=$enable_print_device_tree; |