mirror of
https://github.com/oliverschmidt/contiki.git
synced 2024-09-09 23:54:32 +00:00
This patch fixes a bug in the newlib build script that causes it to not delete an old source directory as intended prior to rebuilding the library. |
||
---|---|---|
.. | ||
grub | ||
libc | ||
openocd-scripts |