mirror of
https://github.com/oliverschmidt/contiki.git
synced 2025-01-09 19:31:04 +00:00
c75e9466f6
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.