diff --git a/setup_board b/setup_board index 08ab398b7c..1fe9ada76c 100755 --- a/setup_board +++ b/setup_board @@ -389,6 +389,11 @@ cmds+=( ) sudo_multi "${cmds[@]}" +SAVED_VERSION= +if [[ ${FLAGS_regen_configs} -eq ${FLAGS_TRUE} ]]; then + SAVED_VERSION=$(grep -s ^LIBC_VERSION= ${BOARD_SETUP} || true) +fi + sudo_clobber "${BOARD_SETUP}" <