CMake error [No SOURCES given to target: teensycore] while attempting to generate build cache directory

[capsulecorplab]

Encountered following CMake error while attempting to generate build cache directory with fprime-util generate Teensyduino

CMake Error at cmake/toolchain/Teensyduino.cmake:95 (add_library):
  No SOURCES given to target: teensycore
Call Stack (most recent call first):
  fprime-arduino/ArduinoOs/CMakeLists.txt:76 (add_arduino_dependency)


CMake Generate step failed.  Build files cannot be regenerated correctly.
[ERROR] CMake erred with return code 1. Partial build cache remains. Run purge to clean-up.