diff options
-rwxr-xr-x | scripts/test | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/scripts/test b/scripts/test index 0eb2c06..c7200dc 100755 --- a/scripts/test +++ b/scripts/test | |||
@@ -1,10 +1,10 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | set -e | 2 | set -e |
3 | set -x | ||
3 | 4 | ||
4 | unset CC | 5 | unset CC |
5 | 6 | ||
6 | if type apt-get >/dev/null | 7 | if type apt-get >/dev/null 2>&1; then |
7 | then | ||
8 | sudo apt-get update | 8 | sudo apt-get update |
9 | sudo apt-get install -y cmake ninja-build | 9 | sudo apt-get install -y cmake ninja-build |
10 | fi | 10 | fi |
@@ -52,7 +52,9 @@ elif [ "x$ARCH" = "xmingw32" -o "x$ARCH" = "xmingw64" ]; then | |||
52 | CPU=x86_64 | 52 | CPU=x86_64 |
53 | fi | 53 | fi |
54 | 54 | ||
55 | sudo apt-get install -y mingw-w64 | 55 | if ! type i686-w64-mingw32-gcc > /dev/null; then |
56 | sudo apt-get install -y mingw-w64 | ||
57 | fi | ||
56 | 58 | ||
57 | ./configure --host=$CPU-w64-mingw32 | 59 | ./configure --host=$CPU-w64-mingw32 |
58 | make -j 4 | 60 | make -j 4 |