tools/testbuild.sh: Reapply edb19474bc478a7a5f4f1e0cf4b9c96ea5e34e80, it was an error to revert it. The cause of the problem appears to be elsewhere.

This commit is contained in:
Gregory Nutt 2019-10-03 08:03:30 -06:00
parent a5fecf88dc
commit 312a8c6851

View File

@ -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
}