diff --git a/tools/sethost.sh b/tools/sethost.sh index 8ebac02c07..4e776ab4a9 100755 --- a/tools/sethost.sh +++ b/tools/sethost.sh @@ -271,7 +271,6 @@ sed -i -e "/CONFIG_HOST_OTHER/d" $nuttx/.config echo " Refreshing..." cd $nuttx || { echo "ERROR: failed to cd to $nuttx"; exit 1; } -make clean_context 1>/dev/null 2>&1 if [ "X${debug}" = "Xy" ]; then make olddefconfig V=1 || { echo "ERROR: failed to refresh"; exit 1; } else