From e6f7b955783bf595666cd861e00f19a2a5dec50b Mon Sep 17 00:00:00 2001 From: Marco Hladik Date: Tue, 10 Aug 2021 12:08:34 +0200 Subject: [PATCH] build_tools.sh: Adjust naming to match upstream tool --- build_tools.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build_tools.sh b/build_tools.sh index 822e2505..a97e0475 100755 --- a/build_tools.sh +++ b/build_tools.sh @@ -46,5 +46,5 @@ fi gmake -j $BUILD_PROC printf "Built vvmtool successfully.\n" -cp -v vvm ../../bin/vvm +cp -v vvmtool ../../bin/vvmtool printf "DONE. Built ALL components successfully.\n"