build_tools.sh: Adjust naming to match upstream tool

This commit is contained in:
Marco Cawthorne 2021-08-10 12:08:34 +02:00
parent fbf6ee7367
commit e6f7b95578

View file

@ -46,5 +46,5 @@ fi
gmake -j $BUILD_PROC gmake -j $BUILD_PROC
printf "Built vvmtool successfully.\n" printf "Built vvmtool successfully.\n"
cp -v vvm ../../bin/vvm cp -v vvmtool ../../bin/vvmtool
printf "DONE. Built ALL components successfully.\n" printf "DONE. Built ALL components successfully.\n"