[PATCH 07/11] Don't run an unnecessary make clean.