Re: [PPL-devel] make ; make distclean is not idempotent