Skip to content

Commit 61ab3db

Browse files
authored
Update soundness.sh
1 parent 80c8edb commit 61ab3db

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

scripts/soundness.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -88,7 +88,7 @@ for language in swift-or-c bash dtrace; do
8888
matching_files=( -name '*' )
8989
case "$language" in
9090
swift-or-c)
91-
exceptions=( -name c_nio_http_parser.c -o -name c_nio_http_parser.h -o -name cpp_magic.h -o -name Package@*.swift -o -name CNIOSHA1.h -o -name c_nio_sha1.c -o -name ifaddrs-android.c -o -name ifaddrs-android.h)
91+
exceptions=( -name Package.swift -o -name Package@*.swift )
9292
matching_files=( -name '*.swift' -o -name '*.c' -o -name '*.h' )
9393
cat > "$tmp" <<"EOF"
9494
//===----------------------------------------------------------------------===//

0 commit comments

Comments
 (0)