add some debug output, which has the nice side effect to fix timing issues while...
[openadk.git] / toolchain / gcc / 
tree4d86d2dd6c8d5c3629f698fd0f030d36cb729b91
drwxr-xr-x   ..
-rw-r--r-- 10304 Makefile
-rw-r--r-- 2604 Makefile.inc
drwxr-xr-x - patches