mirror of
git://git.savannah.gnu.org/libtool.git
synced 2024-12-27 07:09:26 +08:00
bd95e0f762
`. /dev/null'. Set CONFIG_SITE to /dev/null/config/site, to make sure we pick a non-existent file.
36 lines
1012 B
Bash
Executable File
36 lines
1012 B
Bash
Executable File
#! /bin/sh
|
|
# demo-conf.test - try configuring the ../demo subdirectory
|
|
|
|
# Test script header.
|
|
need_prefix=yes
|
|
if test -z "$srcdir"; then
|
|
srcdir=`echo "$0" | sed 's%/[^/]*$%%'`
|
|
test "$srcdir" = "$0" && srcdir=.
|
|
test "${VERBOSE+set}" != "set" && VERBOSE=yes
|
|
fi
|
|
. $srcdir/defs || exit 1
|
|
|
|
# Maybe we have a VPATH build, in which case, create a new subdir.
|
|
test -d ../demo || mkdir ../demo
|
|
|
|
# Change to our build directory.
|
|
cd ../demo || exit 1
|
|
|
|
# Possibly clean up the distribution.
|
|
if test -f Makefile; then
|
|
echo "= Running $make distclean in ../demo"
|
|
$make distclean
|
|
fi
|
|
rm -f config.cache
|
|
|
|
# Configure the demonstration.
|
|
echo "= Configuring in ../demo (prefix=$prefix) with --disable-shared"
|
|
CONFIG_SITE=/dev/null/config/site ${CONFIG_SHELL-/bin/sh} $srcdir/../demo/configure --srcdir=$srcdir/../demo --prefix=$prefix --disable-shared || exit 1
|
|
|
|
if egrep '^build_old_libs=yes' libtool > /dev/null &&
|
|
egrep '^build_libtool_libs=no' libtool > /dev/null; then :
|
|
else rm -f Makefile && exit 77
|
|
fi
|
|
|
|
exit 0
|