util/lint/lint-stable-012-executable-bit

   1 #!/bin/sh
   2 # This file is part of the coreboot project.
   3 #
   4 # This program is free software; you can redistribute it and/or modify
   5 # it under the terms of the GNU General Public License as published by
   6 # the Free Software Foundation; version 2 of the License, or (at your option)
   7 # any later version.
   8 #
   9 # This program is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 # GNU General Public License for more details.
  13 #
  14 # DESCR: Check that source files are not executable
  15
  16 LC_ALL=C export LC_ALL
  17 git ls-tree --full-tree -r HEAD src |grep "^100[7531][7531][7531] blob " |cut -f2- |grep -v "\.sh$" | \
  18         sed -e "s,^.*$,File & has one or more executable bits set in the file permissions.,"