diff options
author | Kurtis Rader <krader@skepticism.us> | 2016-05-08 12:08:23 -0700 |
---|---|---|
committer | Kurtis Rader <krader@skepticism.us> | 2016-05-08 12:08:23 -0700 |
commit | 0d1d324e9f6719a5d4198ee0e8efd05cad89fc39 (patch) | |
tree | 093b8c661db882cb0e26e055e4799c242c428035 /build_tools/style.fish | |
parent | 100eef4e426402ebde1040dbfab8ded5a20854d1 (diff) |
only deal with files that exist
I noticed while working on an unrelated change that deleting a file caused
`make lint` to behave in an unexpected manner.
Diffstat (limited to 'build_tools/style.fish')
-rwxr-xr-x | build_tools/style.fish | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/build_tools/style.fish b/build_tools/style.fish index ee54216b..b5b3b871 100755 --- a/build_tools/style.fish +++ b/build_tools/style.fish @@ -42,8 +42,11 @@ else set files (git show --name-only --pretty=oneline | tail --lines=+2) end - # Extract just the C/C++ files. - set c_files (string match -r '^.*\.(?:c|cpp|h)$' -- $files) + # Extract just the C/C++ files that exist. + set c_files + for file in (string match -r '^.*\.(?:c|cpp|h)$' -- $files) + test -f $file; and set c_files $c_files $file + end # Extract just the fish files. set f_files (string match -r '^.*\.fish$' -- $files) end |