diff options
Diffstat (limited to 'scripts/tidy.sh')
-rwxr-xr-x | scripts/tidy.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/scripts/tidy.sh b/scripts/tidy.sh deleted file mode 100755 index 424c82c3cd..0000000000 --- a/scripts/tidy.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/usr/bin/env bash - -set -e -set -o pipefail - -# Ensure mason is on the PATH -export PATH="`pwd`/.mason:${PATH}" MASON_DIR="`pwd`/.mason" - -BUILDTYPE=${BUILDTYPE:-Release} - -export CLANG_TIDY=clang-tidy-3.8 - -mapbox_time "config" \ -make config - -mapbox_time "tidy" \ -make tidy |