os/tools/configure: guide dbuild.sh to execute distclean
When we try to set new configuration with configure.sh
if RT already setted and built, configure script prints
caution to execute distclean with "make distclean" command.
But we change a guidance of RT env installation with docker.
Let's add "./dbuild.sh distclean".
@@ -153,7 +153,7 @@ fi
if [ -r ${dest_config} ]; then
if [ -r "${TOPDIR}/.version" ]; then
echo "Already configured and compiled!"
- echo "Do 'make distclean' and try again."
+ echo "Do './dbuild.sh distclean' in a Docker container, otherwise do 'make distclean' and then try again."
exit 7
fi
fi
