[gawk-diffs] [SCM] gawk branch, gawk-4.2-stable, updated. gawk-4.1.0-2826-g1bb52dd

[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, gawk-4.2-stable has been updated
       via  1bb52dd11b5ccf927a468b5c1f2ae40e007a3990 (commit)
      from  eabd61434b78152427a9a11d762076377e5ce9cb (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=1bb52dd11b5ccf927a468b5c1f2ae40e007a3990

commit 1bb52dd11b5ccf927a468b5c1f2ae40e007a3990
Author: Juan Manuel Guerrero <address@hidden>
Date:   Fri Nov 3 11:13:45 2017 +0200

    Fix "make install" of the DJGPP build.

diff --git a/pc/ChangeLog b/pc/ChangeLog
index 5a2e04b..bc1e3a3 100644
--- a/pc/ChangeLog
+++ b/pc/ChangeLog
@@ -1,4 +1,9 @@
-2017-11-03  Eli Zaretskii  <address@hidden>
+2017-11-03  Juan Manuel Guerrero  <address@hidden>
+
+       * Makefile (install1): Copy gawk.exe to awk.exe before copying
+       *awk.exe.
+
+2017-11-03  Scott Deifik  <address@hidden>
 
        * Makefile.tst (readdir): Make the message identical with
        test/Makefile.in.
diff --git a/pc/Makefile b/pc/Makefile
index be5e052..bdec371 100644
--- a/pc/Makefile
+++ b/pc/Makefile
@@ -288,6 +288,10 @@ 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
@@ -299,8 +303,8 @@ install1:
        -mkdir "$(prefix)/share"
        -mkdir "$(prefix)/share/man"
        -mkdir "$(pkgdatadir)" "$(prefix)/share/man/man1" "$(prefix)/share/info"
-       cp *awk.exe igawk.bat igawk.cmd pc/awklib/igawk $(prefix)/bin
        cp gawk.exe $(prefix)/bin/awk.exe
+       cp *awk.exe igawk.bat igawk.cmd pc/awklib/igawk $(prefix)/bin
        cp gawkapi.h $(prefix)/include
        cp awklib/eg/lib/* pc/awklib/igawk.awk $(pkgdatadir)
        cp doc/*.1 $(prefix)/share/man/man1

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

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


hooks/post-receive
-- 
gawk