diff options
Diffstat (limited to 'devtools/bin/configure.sh')
| -rwxr-xr-x | devtools/bin/configure.sh | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/devtools/bin/configure.sh b/devtools/bin/configure.sh index a253b1c8f162d..e3171708994f2 100755 --- a/devtools/bin/configure.sh +++ b/devtools/bin/configure.sh @@ -1,6 +1,6 @@ #!/bin/sh -# Copyright (c) 1998-2001 Sendmail, Inc. and its suppliers. +# Copyright (c) 1998-2001 Proofpoint, Inc. and its suppliers. # All rights reserved. # # By using this file, you agree to the terms and conditions set @@ -8,7 +8,7 @@ # the sendmail distribution. # # -# $Id: configure.sh,v 8.46 2003/08/20 18:08:35 gshapiro Exp $ +# $Id: configure.sh,v 8.48 2013/12/02 22:11:07 gshapiro Exp $ # # Special script to autoconfigure for M4 generation of Makefile @@ -79,6 +79,12 @@ then else host=`uname -n` fi + +if [ -z "$SOEXT" ] +then + SOEXT=".so" +fi + echo "PUSHDIVERT(0)" echo "####################################################################" echo "##### This file is automatically generated -- edit at your own risk" @@ -107,7 +113,7 @@ do then p = "." fi - if [ -f $p/lib$l.a -o -f $p/lib$l.so ] + if [ -f $p/lib$l.a -o -f $p/lib$l$SOEXT ] then case $l in |