add some debug output, which has the nice side effect to fix timing issues while...
[openadk.git] / package / make / 
treee647506922ac4295ecb4d9437322b6d6dfa97ad1
drwxr-xr-x   ..
-rw-r--r-- 871 Makefile