diff options
Diffstat (limited to 'makefiles/Makefile.top')
| -rw-r--r-- | makefiles/Makefile.top | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/makefiles/Makefile.top b/makefiles/Makefile.top index af2f525..00c62b1 100644 --- a/makefiles/Makefile.top +++ b/makefiles/Makefile.top @@ -46,7 +46,6 @@ # test Build and run test suite, using current settings. # coverage Determine test suite coverage (requires lcov) # profile Build with profiling support enabled (requires gprof) -# scan Perform static analysis on sources (requires llvm) # docs Produce documentation (requires doxygen) # clean Clean the build # distclean Remove distribution files, too @@ -153,16 +152,6 @@ SOURCES := # Include configuration Makefile fragment -include Makefile.config -# If we're performing static analysis, then override CC -ifeq ($(MAKECMDGOALS),scan) - # Only if it's not already ccc-analyzer - ifneq ($(findstring ccc-analyzer,$(CC)),ccc-analyzer) - # Need this in the environment - export CCC_CC := $(CC) - CC := build/llvm/ccc-analyzer - endif -endif - # Set the default target (before including any children) __default: all @@ -235,9 +224,6 @@ coverage: __precov test # Build for profiling profile: __partial_clean test -# Perform static analysis -scan: __partial_clean test - # Compile documentation docs: $(BUILDDIR)/stamp $(Q)$(DOXYGEN) build/Doxyfile |