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