# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 832369347 0
# Node ID e9d9c86ed820579ce5f1abfce50c3ad0def44930
# Parent  874a6625174783362c3d407a7b7ef019d9ad769f
(struct _child_process): New member is_dos_process.

diff -r 874a66251747 -r e9d9c86ed820 src/w32.h
--- a/src/w32.h	Fri May 17 21:39:36 1996 +0000
+++ b/src/w32.h	Fri May 17 21:42:27 1996 +0000
@@ -74,6 +74,7 @@
 {
   int                   fd;
   int                   pid;
+  int                   is_dos_process;
   HANDLE                char_avail;
   HANDLE                char_consumed;
   HANDLE                thrd;