How can I determine which Teensyduino I am using ?

[drnicolas]

I guess, something went severly wrong with my setup of Arduino <studio, <teensyduino, VSCode/PlatformIO and Teensy

At least, I do not get any debug messages sent over Serial :-(((

And I have no clue which version I am using

I think , in VSCode I am using Teensyduino 1.51

Can I have anyy debug messages during compilation or via serial to find out which piece of software I am using ?

 

[Frank B]

There is a #define TEENSYDUINO=1xx

Or take a look at boards.txt there are entries like "teensy40.build.flags.def=.... -DTEENSYDUINO=1xx"

Or start Arduino and click "Help"