# HG changeset patch
# User paulson
# Date 933939588 -7200
# Node ID 067832c0e5c36ac204d79d111ed0188ffe91679b
# Parent  9099542ee509ef4b60bd3a1160cf80da07c66fc1
no longer gives a default value to SVC_MACHINE

diff -r 9099542ee509 -r 067832c0e5c3 etc/settings
--- 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