diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2015-02-02 04:07:44 +0100 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2015-02-02 04:07:44 +0100 |
| commit | 89d37fadffa98fb06174d54878d308acccded62b (patch) | |
| tree | 2a2d68be06458ec3d55d0ff68cfad099c67c8cd2 /tools | |
| parent | 16f2defa530b36cae7da5e28b5eafef9138adba5 (diff) | |
Fake uname/arch no longer needed
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/buildbinaries | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tools/buildbinaries b/tools/buildbinaries index 2a5236c..e1d756b 100644 --- a/tools/buildbinaries +++ b/tools/buildbinaries @@ -19,17 +19,6 @@ cat << EOF > binaries/$ARCH/run.sh set -e set -x -if [ $ARCH = "i386" ]; then -for BIN in /bin/uname /usr/bin/arch ; do -cp \$BIN \$BIN.orig -cat << EOF2 > \$BIN -#!/bin/bash -\$BIN.orig "\\\$@" | sed s/x86_64/i686/g -EOF2 -chmod 755 \$BIN -done -fi - cd $PWD/binaries/$ARCH/temp apt-get -q -y --yes build-dep firefox ../configure --with-l10n-base=\$PWD/../l10n --enable-official-branding --disable-crashreporter --disable-gnomevfs --enable-gio --disable-debug --enable-gstreamer=0.10 --with-distribution-id=org.gnu --disable-updater |