diff options
author | Thomas Schwinge <thomas@schwinge.name> | 2011-10-07 16:16:11 +0200 |
---|---|---|
committer | Thomas Schwinge <thomas@schwinge.name> | 2011-10-07 16:16:11 +0200 |
commit | aa0221b4407b508c40d93376decb98a7a37a4ae0 (patch) | |
tree | 877ccf13f4c255cc560baea5770e922ceae1e817 | |
parent | 302537b2963c4e49f0fea931b502cc013155cff6 (diff) |
glibc: ``/usr/include/pthread.h overwrite issue''; see open_issues/glibc.
-rwxr-xr-x | cross-gnu | 16 |
1 files changed, 12 insertions, 4 deletions
@@ -206,9 +206,13 @@ if test -h "$SYS_ROOT"/lib/ld.so; then :; else --disable-profile \ --disable-multi-arch fi && + # Set an invalid/obfuscated install_root in order to work around the + # ``/usr/include/pthread.h overwrite issue''; see open_issues/glibc. if "$MAKE" \ - install_root="$SYS_ROOT" \ - all \ + install_root=/INVALID \ + all && + "$MAKE" \ + install_root=/"$SYS_ROOT" \ install then # TODO: Why doesn't `make install' do that? @@ -305,9 +309,13 @@ if ./config.status --version > /dev/null 2>&1; then :; else --disable-profile \ --disable-multi-arch fi && +# Set an invalid/obfuscated install_root in order to work around the +# ``/usr/include/pthread.h overwrite issue''; see open_issues/glibc. "$MAKE" \ - install_root="$SYS_ROOT" \ - all \ + install_root=/INVALID \ + all && +"$MAKE" \ + install_root=/"$SYS_ROOT" \ install && |