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