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

@@ -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
 

scripts/test.sh

@@ -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