глупая ошибка с моей стороны.Это выглядело так, как будто это было успешно, потому что это было.Просто файлы proguard не были импортированы в Eclipse, поэтому они не отображались в Package Explorer.Войдя в рабочее пространство вручную, я нашел их.
Это действительно немного смущает.Ну хорошо.