Android SDK tools revision 12 has problem with Proguard

http://code.google.com/p/android/issues/detail?id=18359
なるほど、
http://d.hatena.ne.jp/kinneko/20110908/p28
の原因はこれだったか。
とりあえず、Eclipseの作業ディレクトリを切り直して、SDKを最新のにして、toolsとか落とし直したら直ったのでありましたが。