always use ccache from OpenADK, problem reported by Diez
[openadk.git] / package / openocd / 
tree7b3d1bcd611c181bcc98a6e1c97f68f76ea04f19
drwxr-xr-x   ..
-rw-r--r-- 1010 Makefile
drwxr-xr-x - patches