Print this page 
12724 update smatch to 0.6.1-rc1-il-5
*** 1,6 ****
! VERSION=0.6.1-rc1-il-4
  
  ########################################################################
  # The following variables can be overwritten from the command line
  OS = linux
  
--- 1,6 ----
! VERSION=0.6.1-rc1-il-5
  
  ########################################################################
  # The following variables can be overwritten from the command line
  OS = linux