- Add error message if 'indent' below zero

diff --git a/bootstrap/scanner.cc b/bootstrap/scanner.cc
index 782eab3eb1e953ac4f35092bc9a7e1dfb4c48137..bf8cc3d00e970047316117e1fd8f0c148959180d 100644 (file)
--- a/bootstrap/scanner.cc
+++ b/bootstrap/scanner.cc
@@ -1,4 +1,4 @@
-/* Generated by re2c 0.10.0.dev on Sat Dec 31 00:57:11 2005 */
+/* Generated by re2c 0.10.0.dev on Sat Dec 31 01:50:50 2005 */
 #line 1 "scanner.re"
 /* $Id$ */
 #include <stdlib.h>
@@ -1307,6 +1307,10 @@ void Scanner::config(const Str* cfg, int num)
 {
        if (cfg->to_string() == "indent")
        {
+               if (num < 0)
+               {
+                       fatal("configuration 'indent' must be a positive integer");
+               }
                topIndent = num;
                return;
        }

diff --git a/scanner.re b/scanner.re
index c9cbdb1fffa74b5479eccd7846ef0228375acca9..6adb0149e0ad2e6769ef57d67ad9f4a05fd05a44 100644 (file)
--- a/scanner.re
+++ b/scanner.re
@@ -315,6 +315,10 @@ void Scanner::config(const Str* cfg, int num)
 {
        if (cfg->to_string() == "indent")
        {
+               if (num < 0)
+               {
+                       fatal("configuration 'indent' must be a positive integer");
+               }
                topIndent = num;
                return;
        }