<p>Patrick Georgi has uploaded this change for <strong>review</strong>.</p><p><a href="https://review.coreboot.org/21419">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">lint-stable: Only check files tracked by git (ie source files) for +x<br><br>Change-Id: I99cbcba7a086ef950f248888a83cf24a4db4aee9<br>Signed-off-by: Patrick Georgi <pgeorgi@google.com><br>---<br>M util/lint/lint-stable-012-executable-bit<br>1 file changed, 1 insertion(+), 1 deletion(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://review.coreboot.org:29418/coreboot refs/changes/19/21419/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">diff --git a/util/lint/lint-stable-012-executable-bit b/util/lint/lint-stable-012-executable-bit<br>index 5e12c95..e7ff3cb 100755<br>--- a/util/lint/lint-stable-012-executable-bit<br>+++ b/util/lint/lint-stable-012-executable-bit<br>@@ -16,5 +16,5 @@<br> # DESCR: Check that source files are not executable<br> <br> LC_ALL=C export LC_ALL<br>-find src -type f -a \( -perm -100 -o -perm -010 -o -perm -001 \)  -a \! -name '*.sh'| \<br>+git ls-tree --full-tree -r HEAD src |grep "^100[7531][7531][7531] blob " |cut -f2- |grep -v "\.sh$" | \<br>     sed -e "s,^.*$,File & has one or more executable bits set in the file permissions.,"<br></pre><p>To view, visit <a href="https://review.coreboot.org/21419">change 21419</a>. To unsubscribe, visit <a href="https://review.coreboot.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://review.coreboot.org/21419"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: coreboot </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>
<div style="display:none"> Gerrit-Change-Id: I99cbcba7a086ef950f248888a83cf24a4db4aee9 </div>
<div style="display:none"> Gerrit-Change-Number: 21419 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Patrick Georgi <pgeorgi@google.com> </div>