https://github.com/micro-ROS/micro_ros_setup/blob/7e07042c256cc34a4e972f6e36f1724fc7a5c38d/scripts/build_firmware.sh#L72 I believe the proper check is: `if [ $PLATFORM == "generic" ] && [ -d "$PREFIX/config/$RTOS/generic" ]; then`
micro_ros_setup/scripts/build_firmware.sh
Line 72 in 7e07042
I believe the proper check is:
if [ $PLATFORM == "generic" ] && [ -d "$PREFIX/config/$RTOS/generic" ]; then