Check in Arduino API directory to avoid symlink #176

Merged
earlephilhower merged 3 commits from nomolink into master 2021-05-28 18:50:48 +03:00
earlephilhower commented 2021-05-28 18:14:15 +03:00 (Migrated from github.com)

Fixes #171

Under Windows, it is very hard to make a symlink and by default git won't
make one to the Arduino API directory, causing annoying build errors.

Avoid the issue by duplicating the ArduinoAPI directory explicitly and using
CI to verify that there are no differences between the two.

Fixes #171 Under Windows, it is very hard to make a symlink and by default git won't make one to the Arduino API directory, causing annoying build errors. Avoid the issue by duplicating the ArduinoAPI directory explicitly and using CI to verify that there are no differences between the two.
Sign in to join this conversation.