updated RPi build config and scripts

This commit is contained in:
2021-05-24 01:34:32 +02:00
parent b413ee00d2
commit 3c41991896
3 changed files with 4 additions and 4 deletions

View File

@ -17,7 +17,7 @@ fi
os_fsfw="linux"
tgt_bsp="arm/raspberrypi"
build_generator=""
build_dir="Debug-RPi"
build_dir="build-Debug-RPi"
if [ "${OS}" = "Windows_NT" ]; then
build_generator="MinGW Makefiles"
# Could be other OS but this works for now.

View File

@ -17,7 +17,7 @@ fi
os_fsfw="linux"
tgt_bsp="arm/raspberrypi"
build_generator=""
build_dir="Release-RPi"
build_dir="build-Release-RPi"
if [ "${OS}" = "Windows_NT" ]; then
build_generator="MinGW Makefiles"
# Could be other OS but this works for now.