From 71faf3097a298fc8271423c1fbabfa22e72170e2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81lvaro=20Fern=C3=A1ndez=20Rojas?= Date: Tue, 3 May 2022 19:39:29 +0200 Subject: [PATCH] build.sh: improve script MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Álvaro Fernández Rojas --- build.sh | 19 +++++++------------ 1 file changed, 7 insertions(+), 12 deletions(-) diff --git a/build.sh b/build.sh index 2bd88a9..c361db0 100755 --- a/build.sh +++ b/build.sh @@ -1,22 +1,17 @@ -#!/bin/sh +#!/bin/bash -BUILD_DIR=build -PICO_SDK_DIR=pico-sdk - -main () { - local cur_dir=$PWD +BASE_DIR="$(dirname ${BASH_SOURCE[0]})" +BUILD_DIR=$BASE_DIR/build +PICO_SDK_DIR=$BASE_DIR/pico-sdk +main() { if [ ! -d "$PICO_SDK_DIR/.git" ]; then git submodule sync --recursive git submodule update --init --recursive fi - mkdir -p $BUILD_DIR - cd $BUILD_DIR - cmake ../ - make - - cd $cur_dir + cmake -B $BUILD_DIR -S $BASE_DIR + make -C $BUILD_DIR } main $@