diff options
-rwxr-xr-x | utils/jenkins-build.sh | 20 |
1 files changed, 2 insertions, 18 deletions
diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh index 237e4b721..ddd2b443a 100755 --- a/utils/jenkins-build.sh +++ b/utils/jenkins-build.sh @@ -273,23 +273,8 @@ case ${TARGET} in "monkey") - # monkey target can be built on most of the supported architectures + # monkey target can be built anywhere case ${HOST} in - "x86_64-linux-gnu") - ;; - - arm-linux-gnueabihf) - ;; - - "aarch64-linux-gnu") - ;; - - "i686-apple-darwin10") - ;; - - "powerpc-apple-darwin9") - ;; - amd64-unknown-openbsd*) MAKE=gmake ;; @@ -325,8 +310,7 @@ case ${TARGET} in ;; *) - echo "Target \"${TARGET}\" cannot be built on \"${HOST})\"" - exit 1 + echo "Target \"${TARGET}\" generic build on \"${HOST})\"" ;; esac |