diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index a8f90a0df..0180bfa44 100644 --- a/configure.ac +++ b/configure.ac @@ -766,6 +766,11 @@ cat >g10defs.tmp <<G10EOF #define GNUPG_HOMEDIR "~/.gnupg" #endif #endif +/* those are here to be redefined by handcrafted g10defs.h */ +#define DIRSEP_C '/' +#define EXTSEP_C '.' +#define DIRSEP_S "/" +#define EXTSEP_S "." G10EOF cat mpi/mpi-asm-defs.h >>g10defs.tmp if cmp -s g10defs.h g10defs.tmp 2>/dev/null; then |