#! /bin/sh
# libtool - Provide generalized library-building support services.
-# Generated automatically by (GNU 0.5.3)
+# Generated automatically by (GNU 0.5.4)
# NOTE: Changes made to this file will be lost: look at ltmain.sh.
#
# Copyright (C) 1996-2000 Free Software Foundation, Inc.
# ### BEGIN LIBTOOL CONFIG
-# Libtool was configured on host p4:
+# Libtool was configured on host preston:
# Shell to use when invoking shell scripts.
SHELL="/bin/sh"