e6deb55e11
Do not complain if the directory already exists. mkdir: cannot create directory "autotools": File exists
26 lines
443 B
Bash
Executable file
26 lines
443 B
Bash
Executable file
#!/bin/sh
|
|
|
|
if [ -e INSTALL ]; then
|
|
have_INSTALL=true
|
|
else
|
|
have_INSTALL=false
|
|
fi
|
|
|
|
mkdir -p autotools
|
|
|
|
aclocal
|
|
autoheader
|
|
automake -ac
|
|
autoconf
|
|
automake
|
|
|
|
# The INSTALL file is autogenerated, so it isn't stored in version control.
|
|
# As the file isn't present, automake's -a option will install generic
|
|
# install instructions. So remove INSTALL if automake installed one.
|
|
|
|
if ! $have_INSTALL; then
|
|
rm -f INSTALL
|
|
fi
|
|
|
|
./configure "$@"
|
|
|