[SCM] gawk branch, master, updated. gawk-4.1.0-4827-g9a66aa6f

[Eli Zaretskii]

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, master has been updated
       via  9a66aa6f0a24bf65c35eb7daf85ee0b837de6d6a (commit)
      from  6a84bead78829b3792346c92dfb430aae9753c2b (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=9a66aa6f0a24bf65c35eb7daf85ee0b837de6d6a

commit 9a66aa6f0a24bf65c35eb7daf85ee0b837de6d6a
Author: Eli Zaretskii <eliz@gnu.org>
Date:   Thu Aug 4 11:48:11 2022 +0300

    Don't install igawk with the MinGW build.

diff --git a/pc/ChangeLog b/pc/ChangeLog
index 8afd1b22..fc9a0c92 100644
--- a/pc/ChangeLog
+++ b/pc/ChangeLog
@@ -1,3 +1,7 @@
+2022-08-04  Eli Zaretskii  <eliz@gnu.org>
+
+       * Makefile (install1): Remove installation of igawk.
+
 2022-07-27         Arnold D. Robbins     <arnold@skeeve.com>
 
        * config.sed: Remove stuff for DJGPP and EMX.
diff --git a/pc/Makefile b/pc/Makefile
index f05aae92..9ce306ac 100644
--- a/pc/Makefile
+++ b/pc/Makefile
@@ -222,15 +222,7 @@ popen$O:   popen.h
 install: install$(install)
        -$(MAKE) -C extension install-extensions
 
-# Note: The line that copies gawk.exe into awk.exe should come before
-# the line after it, which copies *awk.exe, to support the DJGPP "hard
-# link to executables" feature, whereby awk.exe is actually a small
-# stub that invokes gawk.exe.
 install1:
-       echo extproc sh $(prefix)/bin/igawk.cmd > igawk.cmd
-       echo shift >> igawk.cmd
-       cat pc/awklib/igawk >> igawk.cmd
-       cat pc/awklib/igawk.bat > igawk.bat
        -mkdir "$(prefix)"
        -mkdir "$(prefix)/include"
        -mkdir "$(prefix)/bin"
@@ -240,9 +232,9 @@ install1:
        -mkdir "$(pkgdatadir)" "$(prefix)/share/man/man1" "$(prefix)/share/info"
        -mkdir "$(prefix)/lib/gawk"
        cp gawk.exe $(prefix)/bin/awk.exe
-       cp *awk.exe igawk.bat igawk.cmd pc/awklib/igawk $(prefix)/bin
+       cp *awk.exe $(prefix)/bin
        cp gawkapi.h $(prefix)/include
-       cp awklib/eg/lib/* pc/awklib/igawk.awk $(pkgdatadir)
+       cp awklib/eg/lib/* $(pkgdatadir)
        cp doc/*.1 $(prefix)/share/man/man1
        cp doc/*.info $(prefix)/share/info
        cp doc/*.png $(prefix)/share/info

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

Summary of changes:
 pc/ChangeLog |  4 ++++
 pc/Makefile  | 12 ++----------
 2 files changed, 6 insertions(+), 10 deletions(-)


hooks/post-receive
-- 
gawk