Merge pull request #1787 from 0xc0170/fix_1786

Synch - fix lwip-eth path

Author: 0xc0170

workspace_tools/synch.py

@@ -56,7 +56,7 @@
     ("lwip-sys", LWIP_SOURCES+"/lwip-sys"),
     ("Socket"  , LWIP_SOURCES+"/Socket"),
 
-    ("lwip-eth"         , LWIP_SOURCES+"/lwip-eth"),
+    ("lwip-eth"         , ETH_SOURCES+"/lwip-eth"),
     ("EthernetInterface", ETH_SOURCES+"/EthernetInterface"),
 
     ("USBDevice", USB),