From b61707944f9d698d0ef455130ea551ebc8652544 Mon Sep 17 00:00:00 2001 From: josetr <37419832+josetr@users.noreply.github.com> Date: Mon, 23 Nov 2020 19:44:14 +0000 Subject: [PATCH] Replace Generate*.bat files with a single generate.sh which uses VS2019 by default --- build/Generate.bat | 39 --------------------------------------- build/GenerateMake.bat | 5 ----- build/GenerateVS2019.bat | 1 - build/generate.sh | 4 ++++ 4 files changed, 4 insertions(+), 45 deletions(-) delete mode 100644 build/Generate.bat delete mode 100644 build/GenerateMake.bat delete mode 100644 build/GenerateVS2019.bat create mode 100644 build/generate.sh diff --git a/build/Generate.bat b/build/Generate.bat deleted file mode 100644 index d106826c..00000000 --- a/build/Generate.bat +++ /dev/null @@ -1,39 +0,0 @@ -@echo off -goto menu - -:menu -echo Build Project Generator: -echo. -echo [0] Clean -echo [1] Visual C++ 2019 -echo [2] Visual C++ 2017 -echo [3] GNU Make - -echo. - -:choice -set /P C="Choice: " -if "%C%"=="0" goto clean -if "%C%"=="1" goto vs2019 -if "%C%"=="2" goto vs2017 -if "%C%"=="3" goto gmake - -:clean -"premake5" --file=premake5.lua clean -goto quit - -:vs2019 -"premake5" --file=premake5.lua vs2019 -goto quit - -:vs2017 -"premake5" --file=premake5.lua vs2017 -goto quit - -:gmake -"premake5" --file=premake5.lua gmake -goto quit - -:quit -pause -:end \ No newline at end of file diff --git a/build/GenerateMake.bat b/build/GenerateMake.bat deleted file mode 100644 index 62473a69..00000000 --- a/build/GenerateMake.bat +++ /dev/null @@ -1,5 +0,0 @@ -@echo off - -premake5 --file=premake5.lua gmake - -pause \ No newline at end of file diff --git a/build/GenerateVS2019.bat b/build/GenerateVS2019.bat deleted file mode 100644 index 73fe515c..00000000 --- a/build/GenerateVS2019.bat +++ /dev/null @@ -1 +0,0 @@ -"premake5" --file=premake5.lua vs2019 \ No newline at end of file diff --git a/build/generate.sh b/build/generate.sh new file mode 100644 index 00000000..86d81c8f --- /dev/null +++ b/build/generate.sh @@ -0,0 +1,4 @@ +#!/bin/bash +set -e +DIR=$( cd "$( dirname "$0" )" && pwd ) +$DIR/build.sh generate "$@"