version 1.69, 2019/03/06 10:18:58 |
version 1.71, 2019/07/01 22:56:24 |
Line 227 if [ -n "${OSENUM}" ]; then |
|
Line 227 if [ -n "${OSENUM}" ]; then |
|
echo "OSENUM specified manually: ${OSENUM}" 1>&2 |
echo "OSENUM specified manually: ${OSENUM}" 1>&2 |
echo "OSENUM specified manually: ${OSENUM}" 1>&3 |
echo "OSENUM specified manually: ${OSENUM}" 1>&3 |
else |
else |
OSDETECT=$(uname) |
OSDETECT=`uname` |
if [ "X${OSDETECT}" = "XNetBSD" ]; then |
if [ "X${OSDETECT}" = "XNetBSD" ]; then |
OSENUM=MANDOC_OS_NETBSD |
OSENUM=MANDOC_OS_NETBSD |
elif [ "X${OSDETECT}" = "XOpenBSD" ]; then |
elif [ "X${OSDETECT}" = "XOpenBSD" ]; then |
|
|
echo "extern char *mkdtemp(char *);" |
echo "extern char *mkdtemp(char *);" |
|
|
if [ ${HAVE_PROGNAME} -eq 0 ]; then |
if [ ${HAVE_PROGNAME} -eq 0 ]; then |
echo "extern const char *getprogname(void);" |
echo "extern const char *getprogname(void);" |
echo "extern void setprogname(const char *);" |
echo "extern void setprogname(const char *);" |
fi |
fi |
|
|