diff options
Diffstat (limited to 'g10/openfile.c')
| -rw-r--r-- | g10/openfile.c | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/g10/openfile.c b/g10/openfile.c index 381f93bd2..d0be66157 100644 --- a/g10/openfile.c +++ b/g10/openfile.c @@ -77,6 +77,10 @@ overwrite_filep( const char *fname ) if ( !strcmp ( fname, "/dev/null" ) ) return 1; /* does not do any harm */ #endif +#ifdef HAVE_W32_SYSTEM + if ( !strcmp ( fname, "/dev/nul" ) ) + return 1; +#endif /* fixme: add some backup stuff in case of overwrite */ if( opt.answer_yes ) @@ -196,8 +200,14 @@ open_outfile( const char *iname, int mode, IOBUF *a ) char *buf = NULL; const char *name; - if( opt.dry_run ) - name = "/dev/null"; + if ( opt.dry_run ) + { +#ifdef HAVE_W32_SYSTEM + name = "/dev/nul"; +#else + name = "/dev/null"; +#endif + } else if( opt.outfile ) name = opt.outfile; else { |