diff --git a/build.sh b/build.sh index 5bf69816..6a86f19f 100755 --- a/build.sh +++ b/build.sh @@ -843,5 +843,9 @@ fi echo "Building $OMR_DIST for the target $OMR_TARGET with kernel ${OMR_KERNEL}" make defconfig -make IGNORE_ERRORS=m "$@" -echo "Done" +if make IGNORE_ERRORS=m "$@" +then + echo "Done" +else + cd $OMR_TARGET/$OMR_KERNEL/source && make +fi