Update upstream source from tag 'upstream/1.4.0'

Update to upstream version '1.4.0'
with Debian dir 64889867df57bd13ea0cb964223697d378d391ce

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 @@
+#!/bin/bash
+#
+# Copyright (c) 2019 Yubico AB. All rights reserved.
+# Use of this source code is governed by a BSD-style
+# license that can be found in the LICENSE file.
+
+check() {
+        for f in $(find $1 -maxdepth 1 -name '*.h'); do
+                echo "#include \"$f\"" | \
+                        cc $CFLAGS -Isrc -xc -c - -o /dev/null 2>&1
+                echo $f $CFLAGS $?
+        done
+}
+
+check examples
+check fuzz
+check openbsd-compat
+CFLAGS=-D_FIDO_INTERNAL check src
+check src/fido.h
+check src/fido
+check tools