From 2270b04252b6b2b345920ac17c6e253a47d5febb Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Mon, 9 Jan 2017 12:07:42 -0800
Subject: [PATCH] Validate skel less often since it is slow

Reviewed By: akotulski

Differential Revision: D4375563

fbshipit-source-id: bc432d4
---
 Makefile | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 49b2830a0..eac460ce9 100644
--- a/Makefile
+++ b/Makefile
@@ -52,7 +52,7 @@ all: infer
 .PHONY: src_build
 src_build:
 ifeq ($(IS_FACEBOOK_TREE),yes)
-	@$(MAKE) -C facebook
+	@$(MAKE) -C facebook setup
 endif
 	@$(MAKE) -C $(SRC_DIR) infer
 ifeq ($(BUILD_C_ANALYZERS),yes)
@@ -96,7 +96,7 @@ endif
 .PHONY: test_build
 test_build: clang_plugin
 ifeq ($(IS_FACEBOOK_TREE),yes)
-	@$(MAKE) -C facebook
+	@$(MAKE) -C facebook setup
 endif
 	@$(MAKE) -C $(SRC_DIR) test_build
 
@@ -209,9 +209,16 @@ inferScriptMode_test: test_build
 checkCopyright:
 	@$(MAKE) -C $(SRC_DIR) checkCopyright
 
+.PHONY: validate-skel
+validate-skel:
+ifeq ($(IS_FACEBOOK_TREE),yes)
+	@$(MAKE) -C facebook validate
+endif
+
+
 .PHONY: test
 test: test_build ocaml_unit_test endtoend_test inferTraceBugs_test inferScriptMode_test \
-      checkCopyright
+      checkCopyright validate-skel
 	@$(MAKE) -C $(SRC_DIR) mod_dep.dot
 ifeq (,$(findstring s,$(MAKEFLAGS)))
 	@echo "ALL TESTS PASSED"