diff options
Diffstat (limited to 'libsanitizer/merge.sh')
| -rwxr-xr-x | libsanitizer/merge.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libsanitizer/merge.sh b/libsanitizer/merge.sh index 0f75431cf68..d2e622aeb1a 100755 --- a/libsanitizer/merge.sh +++ b/libsanitizer/merge.sh @@ -16,7 +16,7 @@ get_current_rev() { } list_files() { - (cd $1; ls *.{cc,h} 2> /dev/null) + (cd $1; ls *.{cc,h,inc} 2> /dev/null) } |