From 0f0d1c7d6fbcfc35e5874bb919381cf39c3bf4ec Mon Sep 17 00:00:00 2001 From: Vaggelis kavouras Date: Sun, 29 Dec 2024 00:11:40 +0200 Subject: [PATCH] fix: remove redundant extension assignment in build script - Eliminated the unnecessary assignment of the ".exe" extension for Windows in build_all.bat to streamline the script and avoid confusion regarding binary naming conventions. --- scripts/build_all.bat | 1 - 1 file changed, 1 deletion(-) diff --git a/scripts/build_all.bat b/scripts/build_all.bat index e07e387..a5c94a6 100644 --- a/scripts/build_all.bat +++ b/scripts/build_all.bat @@ -33,7 +33,6 @@ mkdir "..\bin" 2>nul set "os=%~1" set "arch=%~2" set "ext=" -if "%os%"=="windows" set "ext=.exe" echo %GREEN%!EN_MESSAGES[5]! %os%/%arch%%RESET%