diff options
Diffstat (limited to 'config/config.status')
| -rwxr-xr-x | config/config.status | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/config/config.status b/config/config.status index f3da4fd..edfec51 100755 --- a/config/config.status +++ b/config/config.status @@ -2,7 +2,7 @@ # Generated automatically by configure. # Run this file to recreate the current configuration. # This directory was configured as follows, -# on host robin: +# on host kava: # # ./configure # @@ -39,7 +39,7 @@ s%@CFLAGS@%%g s%@CPPFLAGS@%%g s%@CXXFLAGS@%%g s%@FFLAGS@%%g -s%@DEFS@% -DCPU_VENDOR_OS=\"i686-pc-linux-gnu\" -DLINUX=1 %g +s%@DEFS@% -DCPU_VENDOR_OS=\"i586-pc-linux-gnu\" -DLINUX=1 %g s%@LDFLAGS@%%g s%@LIBS@%%g s%@exec_prefix@%${prefix}%g @@ -57,26 +57,26 @@ s%@includedir@%${prefix}/include%g s%@oldincludedir@%/usr/include%g s%@infodir@%${prefix}/info%g s%@mandir@%${prefix}/man%g -s%@host@%i686-pc-linux-gnu%g -s%@host_alias@%i686-pc-linux-gnu%g -s%@host_cpu@%i686%g +s%@host@%i586-pc-linux-gnu%g +s%@host_alias@%i586-pc-linux-gnu%g +s%@host_cpu@%i586%g s%@host_vendor@%pc%g s%@host_os@%linux-gnu%g -s%@target@%i686-pc-linux-gnu%g -s%@target_alias@%i686-pc-linux-gnu%g -s%@target_cpu@%i686%g +s%@target@%i586-pc-linux-gnu%g +s%@target_alias@%i586-pc-linux-gnu%g +s%@target_cpu@%i586%g s%@target_vendor@%pc%g s%@target_os@%linux-gnu%g -s%@build@%i686-pc-linux-gnu%g -s%@build_alias@%i686-pc-linux-gnu%g -s%@build_cpu@%i686%g +s%@build@%i586-pc-linux-gnu%g +s%@build_alias@%i586-pc-linux-gnu%g +s%@build_cpu@%i586%g s%@build_vendor@%pc%g s%@build_os@%linux-gnu%g s%@SLANG_INCLUDE@%/usr/include/slang%g s%@LD_SHARED@%ld -shared%g -s%@ERL@%/usr/local/bin/erl%g -s%@ERLC@%/usr/local/bin/erlc%g -s%@ERLDIR@%/usr/local/lib/erlang%g +s%@ERL@%/usr/bin/erl%g +s%@ERLC@%/usr/bin/erlc%g +s%@ERLDIR@%/usr/lib/erlang%g CEOF |