From f18de5f2692e0cc17025cddf972861f47efca86f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nils=20O=2E=20Sel=C3=A5sdal?= <noselasd@fiane.dyndns.org>
Date: Sat, 7 Dec 2013 12:23:30 +0100
Subject: [PATCH] Test dbuf_take_fail aborting in DEBUG mode

---
 test/test_dbuf.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/test/test_dbuf.c b/test/test_dbuf.c
index fbeed99..6f3a728 100644
--- a/test/test_dbuf.c
+++ b/test/test_dbuf.c
@@ -1,5 +1,6 @@
 #include <check.h>
 #include <string.h>
+#include <signal.h>
 #include <ucore/dbuf.h>
 
 
@@ -88,7 +89,11 @@ Suite *dbuf_suite(void)
     Suite *s = suite_create("dbuf");
     TCase *tc = tcase_create("dbuf tests");
     tcase_add_test(tc, test_dbuf);
+#ifdef DEBUG
+    tcase_add_test_raise_signal(tc, test_dbuf_take_fail, SIGABRT);
+#else
     tcase_add_test(tc, test_dbuf_take_fail);
+#endif
 
     suite_add_tcase(s, tc);