make js library selection target dependant

2013-09-03 16:07:57 +01:00 · 2013-09-03 16:07:57 +01:00 · b9c2b5df65
parent 9a59103c6a
commit b9c2b5df65
1 changed files with 12 additions and 2 deletions
--- a/utils/jenkins-build.sh
+++ b/utils/jenkins-build.sh
@ -302,8 +302,18 @@ fi

 # convert javascript parameters
 if [ "${BUILD_JS}" = "json" ];then
-    BUILD_MOZJS=NO
-    BUILD_JS=YES
+    case ${TARGET} in
+	"riscos")
+	    BUILD_MOZJS=NO
+	    BUILD_JS=YES
+	    ;;
+	*)
+	    BUILD_MOZJS=YES
+	    BUILD_JS=NO
+	;;
+
+    esac
+
 else
    BUILD_JS=NO
    BUILD_MOZJS=NO