panic only when panicking

diff --git a/lib/libbmk_rumpuser/rumpuser_base.c b/lib/libbmk_rumpuser/rumpuser_base.c
index 1958e20fc60b569cef5331d0e69a4c5c711a148b..a7950c2ba39a6b71f763df8d05171b095690e46f 100644 (file)
--- a/lib/libbmk_rumpuser/rumpuser_base.c
+++ b/lib/libbmk_rumpuser/rumpuser_base.c
@@ -52,7 +52,7 @@ void
 rumpuser_exit(int value)
 {
 
-       bmk_platform_halt(value == 0 ? NULL : "rumpuser panic");
+       bmk_platform_halt(value == RUMPUSER_PANIC ? "rumpuser panic" : NULL);
 }
 
 void