diff options
Diffstat (limited to 'tools/include_check.sh')
-rwxr-xr-x | tools/include_check.sh | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tools/include_check.sh b/tools/include_check.sh new file mode 100755 index 0000000..9958c9a --- /dev/null +++ b/tools/include_check.sh | |||
@@ -0,0 +1,21 @@ | |||
1 | #!/bin/bash | ||
2 | # | ||
3 | # Copyright (c) 2019 Yubico AB. All rights reserved. | ||
4 | # Use of this source code is governed by a BSD-style | ||
5 | # license that can be found in the LICENSE file. | ||
6 | |||
7 | check() { | ||
8 | for f in $(find $1 -maxdepth 1 -name '*.h'); do | ||
9 | echo "#include \"$f\"" | \ | ||
10 | cc $CFLAGS -Isrc -xc -c - -o /dev/null 2>&1 | ||
11 | echo $f $CFLAGS $? | ||
12 | done | ||
13 | } | ||
14 | |||
15 | check examples | ||
16 | check fuzz | ||
17 | check openbsd-compat | ||
18 | CFLAGS=-D_FIDO_INTERNAL check src | ||
19 | check src/fido.h | ||
20 | check src/fido | ||
21 | check tools | ||