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