Print this page
12013 fix GCC4 as primary compiler

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/Makefile
          +++ new/usr/src/tools/smatch/src/Makefile
   1      -VERSION=0.6.1-rc1-il-1
        1 +VERSION=0.6.1-rc1-il-2
   2    2  
   3    3  ########################################################################
   4    4  # The following variables can be overwritten from the command line
   5    5  OS = linux
   6    6  
   7    7  
   8    8  CC ?= gcc
   9    9  LD = $(CC)
  10   10  AR = ar
  11   11  
  12      -CFLAGS ?= -O2 -g
       12 +CFLAGS ?= -g
  13   13  
  14   14  DESTDIR ?=
  15   15  PREFIX ?= $(HOME)
  16   16  BINDIR ?= $(PREFIX)/bin
  17   17  MANDIR ?= $(PREFIX)/share/man
  18   18  
  19   19  PKG_CONFIG ?= pkg-config
  20   20  
  21   21  CHECKER_FLAGS ?= -Wno-vla
  22   22  
↓ open down ↓ 368 lines elided ↑ open up ↑
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX