Source for teensyduino utilitues "teensy_post_compile" and "teensy_reboot" ?

[uffe]

Source for teensyduino utilitues "teensy_post_compile" and "teensy_reboot" ?

Hi,

Where can I find the source for the teensyduino utilitues "teensy_post_compile" and "teensy_reboot" ?

I'm on a platform (FreeBSD) that is not supported by teensyduino and have been trying to find the source for these two files in order to figure our what they do.

I've looked through the source repositories without any luck

Are they closed source ?

Thanks in advance

/Uffe