linux uses rsync nowadays to copy headers
[openadk.git] / toolchain / gcc / 
tree66fba90b74bf354ff3e86408f0517a25e697eb3f
drwxr-xr-x   ..
-rw-r--r-- 11088 Makefile
-rw-r--r-- 2477 Makefile.inc
drwxr-xr-x - patches