echo"BOARD_SPECIFIC_URL=[$BOARD_SPECIFIC_URL] for [$SHORT_BOARD_NAME] from [$BOARD_DIR]"
if[""="$BOARD_SPECIFIC_URL"];then
BOARD_SPECIFIC_URL=https://rusefi.com/s/wiki
fi
echo"BOARD_SPECIFIC_URL=[$BOARD_SPECIFIC_URL]"
# we generate both versions of the header but only one would be actually included due to conditional compilation see EFI_USE_COMPRESSED_INI_MSD
# todo: make things consistent by
# 0) having generated content not in the same folder with the tool generating content?
# 1) using unique file name for each configuration?
# 2) leverage consistent caching mechanism so that image is generated only in case of fresh .ini. Laziest approach would be to return exit code from java process above