[gawk-diffs] [SCM] gawk branch, gawk-4.1-stable, updated. gawk-4.1.0-668-gd99eb46

[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.1-stable has been updated
       via  d99eb462c411ffad5bc205832fb41b285002cc73 (commit)
      from  9092b6e28fe005160bc53ac1efaab9689a279b5e (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=d99eb462c411ffad5bc205832fb41b285002cc73

commit d99eb462c411ffad5bc205832fb41b285002cc73
Author: Eli Zaretskii <address@hidden>
Date:   Fri Apr 17 11:40:07 2015 +0300

    Fix building extensions on MS-Windows
    
    * Makefile.ext ($(SIMPLE_EXTENSIONS)): Really use -static-libgcc.

diff --git a/pc/ChangeLog b/pc/ChangeLog
index 3e65499..898cc6b 100644
--- a/pc/ChangeLog
+++ b/pc/ChangeLog
@@ -1,3 +1,7 @@
+2015-04-17  Eli Zaretskii  <address@hidden>
+
+       * Makefile.ext ($(SIMPLE_EXTENSIONS)): Really use -static-libgcc.
+
 2015-04-16         Arnold D. Robbins     <address@hidden>
 
        * Makefile.tst: Sync with mainline.
diff --git a/pc/Makefile.ext b/pc/Makefile.ext
index 1272343..6cd4d0f 100644
--- a/pc/Makefile.ext
+++ b/pc/Makefile.ext
@@ -47,7 +47,7 @@ time.$(SOEXT): time.c
        gcc -DHAVE_GETSYSTEMTIMEASFILETIME -I.. -shared -gdwarf-2 -g3 
-static-libgcc -o $@ time.c
 
 $(SIMPLE_EXTENSIONS):
-       gcc -I.. -shared -gdwarf-2 -g3 -o $@ $(@:.$(SOEXT)=.c)
+       gcc -I.. -shared -gdwarf-2 -g3 -static-libgcc -o $@ $(@:.$(SOEXT)=.c)
 
 $(ALL_EXTENSIONS): ../gawkapi.h ../gettext.h
 

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

Summary of changes:
 pc/ChangeLog    |    4 ++++
 pc/Makefile.ext |    2 +-
 2 files changed, 5 insertions(+), 1 deletions(-)


hooks/post-receive
-- 
gawk