Config won't deal with Options with numerics

[Keith Muller]

In article <518 at zinfandel.UUCP>, berry at zinfandel.UUCP (Berry Kercheval) writes:
> Subject: config cannot handle OPTIONS with numeric characters.
> Index:	etc/config/config.y 4.3BSD
> 
> Description:
> 	When using config(8) to build kernels for 4.3BSD, if one follows the
> 	instructions in "Installing and Operating 4.3BSD on the VAX" and
> 	try to enable TCP compatibility with 4.2BSD, config gives a syntax
> 	error and creates an incorrect Makefile.

Somewhere in that manual there is a note that says numeric options need to be
enclosed in "". So:
	options "TCP_COMPAT_42"

Works just fine. (same reason you say: cpu "VAX750" in the conf file).

	Keith Muller
	University of California