diff --git a/scripts/test.sh b/scripts/test.sh deleted file mode 100755 index 1a53f4949..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 -C "$INFER_DIR" test$XML