[gawk-diffs] [SCM] gawk branch, gawk-4.0-stable, updated. 715956735ebfc71820332a214e11bcf30c4b69c7

[Arnold Robbins]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, gawk-4.0-stable has been updated
       via  715956735ebfc71820332a214e11bcf30c4b69c7 (commit)
      from  ac3a3b5a09051f68ec1d521cfe1e39f44cb0a07a (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=715956735ebfc71820332a214e11bcf30c4b69c7

commit 715956735ebfc71820332a214e11bcf30c4b69c7
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Feb 10 13:28:12 2012 +0200

    DJGPP fix for dgawk (substitute version of execvp).

diff --git a/pc/ChangeLog b/pc/ChangeLog
index 72d5a68..ee9deca 100644
--- a/pc/ChangeLog
+++ b/pc/ChangeLog
@@ -1,3 +1,8 @@
+2012-02-10         Arnold D. Robbins     <address@hidden>
+
+       * gawkmisc.pc (execvp): New function based on code from Eli
+       Zaretskii to make dgawk's restarting the debugger work.
+
 2012-01-27   Scott Deifik  <address@hidden>
 
        * Makefile.tst: Sync with mainline version.
diff --git a/pc/gawkmisc.pc b/pc/gawkmisc.pc
index 64b4239..cb49dcc 100644
--- a/pc/gawkmisc.pc
+++ b/pc/gawkmisc.pc
@@ -3,7 +3,7 @@
  */
 
 /* 
- * Copyright (C) 1986, 1988, 1989, 1991 - 2003 the Free Software Foundation, 
Inc.
+ * Copyright (C) 1986, 1988, 1989, 1991 - 2003, 2012 the Free Software 
Foundation, Inc.
  * 
  * This file is part of GAWK, the GNU implementation of the
  * AWK Progamming Language.
@@ -569,6 +569,19 @@ wctob (wint_t wc)
   return EOF;
 }
 
+/*
+ * On MS-Windows, execvp causes the shell and the re-exec'ed
+ * dgawk to compete for the keyboard input.
+ *
+ * This will need work if we ever need a real version of execvp.
+ */
+int execvp(const char *file, char *const argv[])
+{
+       if (_spawnvp(_P_WAIT, file, (const char * const *)argv) != -1)
+               exit(EXIT_SUCCESS);
+
+       return 0;
+}
 #endif /* __MINGW32__ */
 
 #ifdef __DJGPP__

-----------------------------------------------------------------------

Summary of changes:
 pc/ChangeLog   |    5 +++++
 pc/gawkmisc.pc |   15 ++++++++++++++-
 2 files changed, 19 insertions(+), 1 deletions(-)


hooks/post-receive
-- 
gawk