mirror of
git://git.gnupg.org/gnupg.git
synced 2025-07-03 22:56:33 +02:00
First steps towards the W32CE port
This commit is contained in:
parent
30a4096fbb
commit
d232fd2e54
17 changed files with 405 additions and 110 deletions
|
@ -999,8 +999,8 @@ fi
|
|||
#
|
||||
AC_MSG_NOTICE([checking for header files])
|
||||
AC_HEADER_STDC
|
||||
AC_CHECK_HEADERS([string.h unistd.h langinfo.h termio.h locale.h getopt.h])
|
||||
AC_CHECK_HEADERS([pty.h pwd.h inttypes.h])
|
||||
AC_CHECK_HEADERS([string.h unistd.h langinfo.h termio.h locale.h getopt.h \
|
||||
pty.h pwd.h inttypes.h signal.h])
|
||||
AC_HEADER_TIME
|
||||
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue