diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/linux/tidy.sh | 17 | ||||
| -rw-r--r-- | scripts/main.mk | 2 |
2 files changed, 19 insertions, 0 deletions
diff --git a/scripts/linux/tidy.sh b/scripts/linux/tidy.sh new file mode 100755 index 0000000000..424c82c3cd --- /dev/null +++ b/scripts/linux/tidy.sh @@ -0,0 +1,17 @@ +#!/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 diff --git a/scripts/main.mk b/scripts/main.mk index eab78ef626..aefd2690ed 100644 --- a/scripts/main.mk +++ b/scripts/main.mk @@ -65,6 +65,8 @@ config/%.gypi: $(SUBMODULES) configure $(CONFIGURE_FILES) @printf "$(TEXT_BOLD)$(COLOR_GREEN)* Recreating project...$(FORMAT_END)\n" $(QUIET)$(ENV) ./scripts/flock.py build/Configure.lock ./configure config/$*.gypi +.PHONY: config +config: config/$(HOST_SLUG).gypi #### Build files ############################################################### |