2 Cdiff usr/src/tools/smatch/src/smatch_scripts/build_kernel

Print this page

12166 resync smatch to 0.6.1-rc1-il-3


*** 34,44 ****
          exit 1
      fi
  fi
  
  BUILD_STATUS=0
! $SCRIPT_DIR/test_kernel.sh --call-tree --info --param-mapper --spammy --data=$DATA_DIR || BUILD_STATUS=$?
  
  for i in $SCRIPT_DIR/gen_* ; do
          $i smatch_warns.txt -p=kernel
  done
  
--- 34,44 ----
          exit 1
      fi
  fi
  
  BUILD_STATUS=0
! $SCRIPT_DIR/test_kernel.sh --call-tree --info --spammy --data=$DATA_DIR || BUILD_STATUS=$?
  
  for i in $SCRIPT_DIR/gen_* ; do
          $i smatch_warns.txt -p=kernel
  done