edd 608beb95b8 Fix a race when using 'make -j' -- missing dependency. ...

From Janne Johansson, OK jasper@

2013-05-14 14:31:30 +00:00

..

files

Fix a race when using 'make -j' -- missing dependency.

2013-05-14 14:31:30 +00:00

patches

Update for Arduino to 1.0.2

2012-12-05 13:14:52 +00:00

pkg

Update for Arduino to 1.0.2

2012-12-05 13:14:52 +00:00

distinfo

Update for Arduino to 1.0.2

2012-12-05 13:14:52 +00:00

Makefile

Fix a race when using 'make -j' -- missing dependency.

2013-05-14 14:31:30 +00:00