diff options
Diffstat (limited to 'config/sequent')
-rw-r--r-- | config/sequent | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/config/sequent b/config/sequent new file mode 100644 index 00000000..48d2821a --- /dev/null +++ b/config/sequent @@ -0,0 +1,16 @@ +For generic 4.3 BSD machine. +SIGTYPE int +HAVE_UNDERSCORE_SETJMP 1 +MEMCMP_MISSING 1 +MEMCPY_MISSING 1 +MEMSET_MISSING 1 +STRCASE_MISSING 1 +STRCHR_MISSING 1 +STRERROR_MISSING 1 +STRFTIME_MISSING 1 +STRTOD_MISSING 1 +STRTOL_MISSING 1 +NON_STD_SPRINTF 1 +VPRINTF_MISSING 1 +BSDSTDIO 1 +TZSET_MISSING 1 |