# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 865735033 0
# Node ID 8064de096e1fefe45dec0ece6015d3e06c731465
# Parent  f23435e45e36b3d18e9b6b0959aa2029d1bce7e8
(*:Linux:*:*): Always use ${VENDOR}.

diff -r f23435e45e36 -r 8064de096e1f config.guess
--- a/config.guess	Sat Jun 07 23:15:30 1997 +0000
+++ b/config.guess	Sun Jun 08 01:57:13 1997 +0000
@@ -497,7 +497,7 @@
    printf ("%s-${VENDOR}-linux-gnulibc1\n", argv[1]);
 # endif
 #else
-  printf ("%s-pc-linux-gnuaout\n", argv[1]);
+  printf ("%s-${VENDOR}-linux-gnuaout\n", argv[1]);
 #endif
   return 0;
 }