otawa: support parallel build

Florian Brandner · Florian Brandner · commit 825699740810 · 2016-10-04T17:08:32.000+02:00
diff --git a/build.sh b/build.sh
@@ -790,7 +790,7 @@ function build_otawa() {
     run git submodule update --init
 
     # do not use run here, since the otawa build script offers similar functions
-    run misc/build.sh ${buildopt}
+    run misc/build.sh $MAKEJ ${buildopt}
 
     run popd > /dev/null
 }

Original file line number	Diff line number	Diff line change
`@@ -790,7 +790,7 @@ function build_otawa() {`
`790`	`790`	`run git submodule update --init`
`791`	`791`
`792`	`792`	`# do not use run here, since the otawa build script offers similar functions`
`793`		`- run misc/build.sh ${buildopt}`
	`793`	`+ run misc/build.sh $MAKEJ ${buildopt}`
`794`	`794`
`795`	`795`	`run popd > /dev/null`
`796`	`796`	`}`