a4df7ffed9
incarnated, it just matches other deficiencies related to crunchgen and friends... and we already have similar code in ppp/Makefile. RELEASE_CRUNCH should be axed, but for now let's be consistent. Submitted by: Patrick Powell <papowell@astart.com>