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"))