[GHC] #14712: After git pull make can't work with make clean