diff --git a/tools/testbuild.sh b/tools/testbuild.sh index 6f9a761a860..532ecaf874e 100755 --- a/tools/testbuild.sh +++ b/tools/testbuild.sh @@ -154,7 +154,7 @@ function distclean { cd $nuttx || { echo "ERROR: failed to CD to $nuttx"; exit 1; } if [ -f .config ]; then echo " Cleaning..." - ${MAKE} ${MAKE_FLAGS} distclean 1>/dev/null + ${MAKE} ${JOPTION} ${MAKE_FLAGS} distclean 1>/dev/null fi }