separate folder for RPi builds

This commit is contained in:
2021-02-22 12:36:28 +01:00
committed by Robin Mueller
parent 571606c251
commit 97a752120a
4 changed files with 12 additions and 5 deletions

@ -61,9 +61,10 @@ def main():
else:
cmake_target_cfg_cmd = ""
# TODO: Use builddir if given (need to check whether path is relative or absolute)
build_folder = cmake_build_type
if args.builddir is not None:
build_folder = args.builddir
build_path = source_location + os.path.sep + build_folder
if os.path.isdir(build_path):
remove_old_dir = input(f"{build_folder} folder already exists. Remove old directory? [y/n]: ")