Re: [GHC] #14712: After git pull make can't work without make clean (was: After git pull make can't work with make clean)