Fix ubuntu build

2016-12-15 18:01:06 +01:00
parent 143da2c390
commit f74ef30ace
2 changed files with 2 additions and 2 deletions
--- a/build.sh
+++ b/build.sh
@@ -30,7 +30,7 @@ fi

 # Platform indepenent settings
 platform=$(get_platform)
-if [ "$platform" == "linux" ]; then
+if [ "$platform" == "linux32" ] || [ "$platform" == "linux64" ]; then
    distro=$(lsb_release -is)
    if [ "$distro" == "Ubuntu" ]; then
        CONFIG="$CONFIG libunwind_off"