From c0efc628baa9de2033f57ce592cdc3e2ee35cee6 Mon Sep 17 00:00:00 2001 From: Jordan Hubbard Date: Mon, 27 Apr 2015 18:11:29 -0700 Subject: [PATCH] s/distclean/cleandist/ --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8e7c270..50dbb02 100644 --- a/Makefile +++ b/Makefile @@ -74,7 +74,7 @@ PROFILE != cat ${PROFILE_SETTING} .if !make(remote) && !make(sync) @${BUILD_TOOLS}/buildenv.py ${BUILD_TOOLS}/check-host.py -.if !make(checkout) && !make(update) && !make(clean) && !make(distclean) && !make(git-internal) && !make(git-external) && !make(profiles) +.if !make(checkout) && !make(update) && !make(clean) && !make(cleandist) && !make(git-internal) && !make(git-external) && !make(profiles) @${BUILD_TOOLS}/buildenv.py ${BUILD_TOOLS}/check-sandbox.py .endif .endif