diff --git a/demo/test.c b/demo/test.c index 315b2788..408f19eb 100644 --- a/demo/test.c +++ b/demo/test.c @@ -5,8 +5,17 @@ #include "s_mp_rand_jenkins.c" /* TODO: Make it an environment variable via main.yml? - This is for testing only, so no to add checks to the build process. */ -#include + This is for testing only, so no reason to add checks to the build process. */ +#ifdef __has_include +# if __has_include () +# include +# else +# define RUNNING_ON_VALGRIND 1 +# endif +#else +# define RUNNING_ON_VALGRIND 1 +#endif + static long rand_long(void) {