echo "Build docs : $build_docs"
echo "Debug version : $with_debug"
echo ""
-echo "NOTE: you should do a 'make clean' after changing platform (--with-platform=)"
+echo "NOTE: you should do a 'make clean' after changing architecture or platform (--with-platform=)"
echo ""