diff options
| -rwxr-xr-x | utils/jenkins-build.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh index f85ae4b3f..e9fd7dae7 100755 --- a/utils/jenkins-build.sh +++ b/utils/jenkins-build.sh @@ -178,6 +178,9 @@ case ${TARGET} in "arm-linux-gnueabihf") ;; + "aarch64-linux-gnu") + ;; + amd64-unknown-openbsd*) MAKE=gmake ;; @@ -208,6 +211,9 @@ case ${TARGET} in arm-linux-gnueabihf) ;; + "aarch64-linux-gnu") + ;; + "i686-apple-darwin10") ;; @@ -271,6 +277,9 @@ case ${TARGET} in arm-linux-gnueabihf) ;; + "aarch64-linux-gnu") + ;; + "i686-apple-darwin10") ;; |