version 1.35, 2015/11/07 20:52:52 |
version 1.37, 2015/11/26 07:42:11 |
|
|
|
|
set -e |
set -e |
|
|
[ -e config.log ] && mv config.log config.log.old |
[ -w config.log ] && mv config.log config.log.old |
[ -e config.h ] && mv config.h config.h.old |
[ -w config.h ] && mv config.h config.h.old |
|
|
# Output file descriptor usage: |
# Output file descriptor usage: |
# 1 (stdout): config.h, Makefile.local |
# 1 (stdout): config.h, Makefile.local |
|
|
|
|
# --- manual settings from configure.local ----------------------------- |
# --- manual settings from configure.local ----------------------------- |
|
|
if [ -e ./configure.local ]; then |
if [ -r ./configure.local ]; then |
echo "configure.local: reading..." 1>&2 |
echo "configure.local: reading..." 1>&2 |
echo "configure.local: reading..." 1>&3 |
echo "configure.local: reading..." 1>&3 |
cat ./configure.local 1>&3 |
cat ./configure.local 1>&3 |
|
|
|
|
if [ ${HAVE_ERR} -eq 0 ]; then |
if [ ${HAVE_ERR} -eq 0 ]; then |
echo "extern void err(int, const char *, ...);" |
echo "extern void err(int, const char *, ...);" |
|
echo "extern void errx(int, const char *, ...);" |
echo "extern void warn(const char *, ...);" |
echo "extern void warn(const char *, ...);" |
echo "extern void warnx(const char *, ...);" |
echo "extern void warnx(const char *, ...);" |
fi |
fi |