From 6f012ad70ec6dda6b501c2be5e7a88878616b3a2 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Wed, 2 Mar 2016 06:45:09 -0800
Subject: [PATCH] kill test.sh

Summary:public
Use `make test` etc. instead.

Reviewed By: jeremydubreil

Differential Revision: D2995034

fb-gh-sync-id: 16a64ba
shipit-source-id: 16a64ba
---
 CONTRIBUTING.md |  2 +-
 scripts/test.sh | 21 ---------------------
 2 files changed, 1 insertion(+), 22 deletions(-)
 delete mode 100644 scripts/test.sh

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 6e91af1af..885efc027 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -17,7 +17,7 @@ us a line at cla@fb.com. Thanks!
 * If relevant, add a test for your change. Tests are located at
   `infer/tests/codetoanalyze/` and
   `infer/tests/{endtoend,frontend}/`. To run the all tests, execute
-  `./scripts/test.sh`.
+  `make test`.
 
 ## Hacking
 
diff --git a/scripts/test.sh b/scripts/test.sh
deleted file mode 100644
index 3aba94445..000000000
--- a/scripts/test.sh
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/bin/bash
-
-# Copyright (c) 2013 - present Facebook, Inc.
-# All rights reserved.
-#
-# This source code is licensed under the BSD style license found in the
-# LICENSE file in the root directory of this source tree. An additional grant
-# of patent rights can be found in the PATENTS file in the same directory.
-
-set -e
-set -x
-
-SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
-INFER_DIR="$SCRIPT_DIR/.."
-
-XML=
-if [ "$1" == "--xml" ]; then
-    XML="_xml"
-fi
-
-make -j -C "$INFER_DIR" test_build test$XML