| commit | 72efa897a6c8abba8324d2cfedff5e64b5159dc8 | [log] [tgz] |
|---|---|---|
| author | Matthew <matt.phillips121@gmail.com> | Mon Feb 10 13:21:18 2020 +1100 |
| committer | Matthew <matt.phillips121@gmail.com> | Mon Feb 10 13:21:18 2020 +1100 |
| tree | 863bdac7fac825138f25efbd53ca06408cd55bfe | |
| parent | 7ae68ec7f731156efb3bc52e9ff9795c50ca641f [diff] |
Include necessary header Clang complains about not being able to find the printf implementation without this include
diff --git a/libsel4test/include/sel4test/macros.h b/libsel4test/include/sel4test/macros.h index 8b3dfa2..e021983 100644 --- a/libsel4test/include/sel4test/macros.h +++ b/libsel4test/include/sel4test/macros.h
@@ -15,6 +15,7 @@ /* Include Kconfig variables. */ #include <autoconf.h> #include <sel4test/gen_config.h> +#include <sel4test/testutil.h> #define SEL4TEST_PRINT_BUFFER 200