Update build.sh

This commit is contained in:
Vadim Grigoruk 2018-08-10 19:19:02 +03:00 committed by GitHub
parent 1b8204781d
commit 3275257ae2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -7,7 +7,7 @@ echo "For a normal build, use the linux target."
echo "-lto targets (Link Time Optimization) have smaller output size." echo "-lto targets (Link Time Optimization) have smaller output size."
echo "wasm, emscripten and mingw targets require their compilers to be installed." echo "wasm, emscripten and mingw targets require their compilers to be installed."
PS3="Select build target: " PS3="Select build target: "
options=("dependencies" "linux" "linux32-lto" "linux64-lto" "emscripten" "wasm" "mingw" "chip-lto" "exit") options=("install packages" "linux" "linux32-lto" "linux64-lto" "emscripten" "wasm" "mingw" "chip-lto" "exit")
select opt in "${options[@]}" select opt in "${options[@]}"
do do
case $opt in case $opt in