From ab4a4f4da0226068f5cfef952ee7ee64907b5e67 Mon Sep 17 00:00:00 2001 From: David Holdeman Date: Wed, 24 Apr 2024 17:19:12 -0500 Subject: [PATCH] only: test --- firmware/gen_config_board.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/firmware/gen_config_board.sh b/firmware/gen_config_board.sh index 6cf9619bf0..ce287c658d 100755 --- a/firmware/gen_config_board.sh +++ b/firmware/gen_config_board.sh @@ -32,7 +32,10 @@ fi echo "BOARD_DIR=${BOARD_DIR} SHORT_BOARD_NAME=${SHORT_BOARD_NAME}" echo "rp1: $(which realpath)" -if which grealpath >/dev/null 2>&1; then alias realpath='grealpath'; fi +if which grealpath >/dev/null 2>&1; then + echo "found grealpath" + alias realpath='grealpath'; +fi echo "path: $0" echo "dirname: $(dirname $0)" FDIR=$(realpath $(dirname "$0"))