Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
no longer gives a default value to SVC_MACHINE
authorpaulson
Fri, 06 Aug 1999 13:39:48 +0200
changeset 7184067832c0e5c3
parent 7183 9099542ee509
child 7185 19672499bab6
no longer gives a default value to SVC_MACHINE
etc/settings file | annotate | diff | comparison | revisions 
     1.1 --- a/etc/settings	Fri Aug 06 11:22:35 1999 +0200
     1.2 +++ b/etc/settings	Fri Aug 06 13:39:48 1999 +0200
     1.3 @@ -106,7 +106,8 @@
     1.4  
     1.5  ## SVC (Stanford Validity Checker); set SVC_HOME only if it is installed
     1.6  #SVC_HOME=
     1.7 -SVC_MACHINE=i386-redhat-linux
     1.8 +#SVC_MACHINE=i386-redhat-linux
     1.9 +#SVC_MACHINE=sparc-sun-solaris
    1.10  
    1.11  ###
    1.12  ### Interfaces
wneuper/isa