Removed patch kit headers. Updated manual page with information from

[unix-history] / usr.sbin / config / config.y

diff --git a/usr.sbin/config/config.y b/usr.sbin/config/config.y
index 76aa58e..31a584d 100644 (file)
--- a/usr.sbin/config/config.y
+++ b/usr.sbin/config/config.y
@@ -31,6 +31,7 @@
 %token MACHINE
 %token MAJOR
 %token MASTER
 %token MACHINE
 %token MAJOR
 %token MASTER

+%token MAXFDESCS

 %token MAXUSERS
 %token MINOR
 %token MINUS
 %token MAXUSERS
 %token MINOR
 %token MINUS


@@ -200,6 +201,8 @@ Config_spec:
              = { zone = -$3; dst = $5; check_tz(); } |
        TIMEZONE MINUS FPNUMBER DST
              = { zone = -$3; dst = 1; check_tz(); } |
              = { zone = -$3; dst = $5; check_tz(); } |
        TIMEZONE MINUS FPNUMBER DST
              = { zone = -$3; dst = 1; check_tz(); } |

+       MAXFDESCS NUMBER
+             = { maxfdescs = $2; }; |

        MAXUSERS NUMBER
              = { maxusers = $2; };
 
        MAXUSERS NUMBER
              = { maxusers = $2; };
 


@@ -219,12 +222,18 @@ System_parameter_list:
        ;
 
 System_parameter:
        ;
 
 System_parameter:

-         swap_spec
+         addr_spec
+       | swap_spec

        | root_spec
        | dump_spec
        | arg_spec
        ;
        
        | root_spec
        | dump_spec
        | arg_spec
        ;
        

+addr_spec:
+         AT NUMBER
+               = { loadaddress = $2; };
+       ;
+

 swap_spec:
          SWAP optional_on swap_device_list
        ;
 swap_spec:
          SWAP optional_on swap_device_list
        ;