diff options
author | Thomas Huth <thuth@redhat.com> | 2018-05-07 16:32:34 +0200 |
---|---|---|
committer | Thomas Huth <thuth@redhat.com> | 2018-09-25 17:26:18 +0200 |
commit | 55d38d10b84a256ca80484eb5114a4824608b85e (patch) | |
tree | c59ba4bdb09af1ff9cf323e4bb48b64b71255fad /block/blkreplay.c | |
parent | 1e7ec6cf067025552bb10def7c49f4527d2f035f (diff) |
trivial: Make bios files and source files non-executable
These files can not be executed on the host, so they should not be
marked as executable.
Reviewed-by: David Hildenbrand <david@redhat.com>
Signed-off-by: Thomas Huth <thuth@redhat.com>
Diffstat (limited to 'block/blkreplay.c')
-rw-r--r--[-rwxr-xr-x] | block/blkreplay.c | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/block/blkreplay.c b/block/blkreplay.c index b5d9efdeca..b5d9efdeca 100755..100644 --- a/block/blkreplay.c +++ b/block/blkreplay.c |