diff options
| -rw-r--r-- | include/valgrind/valgrind.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include/valgrind/valgrind.h b/include/valgrind/valgrind.h index e59a7fde32..5d4fa5f43b 100644 --- a/include/valgrind/valgrind.h +++ b/include/valgrind/valgrind.h @@ -121,7 +121,9 @@ #else /* If we're not compiling for our target platform, don't generate any inline asms. */ -# undef CONFIG_VALGRIND +# if IS_ENABLED(CONFIG_VALGRIND) +# error "Unsupported platform for valgrind" +# endif #endif |