1 files changed, 18 insertions, 0 deletions
diff --git a/cmp_int32pp.c b/cmp_int32pp.c
new file mode 100644
index 0000000..d61da1c
--- /dev/null
+++ b/cmp_int32pp.c
@@ -0,0 +1,18 @@
+/* See LICENSE file for copyright and license details. */
+#include "common.h"
+#ifndef TEST
+
+
+extern inline int libsimple_cmp_int32pp(int32_t *const *, int32_t *const *);
+
+
+#else
+#include "test.h"
+
+int
+main(void)
+{
+	return 0;
+}
+
+#endif