author | paulson |
Fri, 06 Aug 1999 13:39:48 +0200 | |
changeset 7184 | 067832c0e5c3 |
parent 7183 | 9099542ee509 |
child 7185 | 19672499bab6 |
etc/settings | file | annotate | diff | comparison | revisions |
--- a/etc/settings Fri Aug 06 11:22:35 1999 +0200 +++ b/etc/settings Fri Aug 06 13:39:48 1999 +0200 @@ -106,7 +106,8 @@ ## SVC (Stanford Validity Checker); set SVC_HOME only if it is installed #SVC_HOME= -SVC_MACHINE=i386-redhat-linux +#SVC_MACHINE=i386-redhat-linux +#SVC_MACHINE=sparc-sun-solaris ### ### Interfaces