From e2257424157690321e2c5863af8987a4506f4f2c Mon Sep 17 00:00:00 2001
From: Michael Stapelberg <michael@stapelberg.de>
Date: Tue, 16 Feb 2010 19:25:07 +0100
Subject: [PATCH] Make the warning about $terminal being deprecated an error
 (Thanks fallen)

---
 src/cfgparse.y | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cfgparse.y b/src/cfgparse.y
index 8d97401b..2633f4d2 100644
--- a/src/cfgparse.y
+++ b/src/cfgparse.y
@@ -536,7 +536,7 @@ exec:
 terminal:
         TOKTERMINAL WHITESPACE STR
         {
-                DLOG("The terminal option is DEPRECATED and has no effect. "
+                ELOG("The terminal option is DEPRECATED and has no effect. "
                     "Please remove it from your configuration file.");
         }
         ;