diff options
Diffstat (limited to 'build')
-rw-r--r-- | build/.gitignore | 1 | ||||
-rwxr-xr-x | build/compile | 31 |
2 files changed, 1 insertions, 31 deletions
diff --git a/build/.gitignore b/build/.gitignore new file mode 100644 index 00000000..f59ec20a --- /dev/null +++ b/build/.gitignore @@ -0,0 +1 @@ +*
\ No newline at end of file diff --git a/build/compile b/build/compile deleted file mode 100755 index 7cfa94de..00000000 --- a/build/compile +++ /dev/null @@ -1,31 +0,0 @@ -#!/bin/sh - -# This script is used to cross-compile binaries for -# platforms other than the current one - -# Usage: $0 <platformname> <configure options> -# <platformname> is arbitrary, it is the name -# of the directory which will be created to contain -# the output binaries. - -# e.g. $0 win32 --host=i686-w64-mingw32 - -set -e -cd `dirname "$0"` - -plat="$1" -[ -z "$plat" ] && exit 1 -shift - -[ -d "$plat" ] || mkdir "$plat" -rm -rf "$plat/tmp" -mkdir "$plat/tmp" -cd "$plat/tmp" -mkdir install_other -../../../configure \ - --prefix="`pwd`/install_other" \ - --bindir="`pwd`/.." \ - "$@" -make install-binaries -cd .. -rm -rf tmp
\ No newline at end of file |