diff options
author | Kostya Serebryany <kcc@google.com> | 2013-01-23 11:41:33 +0000 |
---|---|---|
committer | Kostya Serebryany <kcc@google.com> | 2013-01-23 11:41:33 +0000 |
commit | 586e6503b41fcdb85bed4538f20adfe182b777ab (patch) | |
tree | 80989bd161e60d01560788cb7427eb644b227884 /libsanitizer/merge.sh | |
parent | cafa14e8fc2a1db2bef7b35632787db55f4a00a8 (diff) |
libsanitizer merge from upstream r173241
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@195404 138bc75d-0d04-0410-961f-82ee72b054a4
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) } |