# HG changeset patch
# User John Donoghue
# Date 1552401616 14400
# Node ID 874c8ca3c9eb46df15b38e4c90281cbe61d461d7
# Parent  9361f2645513ff8475f21f3568a4ddbc4df1b725
* src/build-gawk.mk: build static gawk

diff -r 9361f2645513 -r 874c8ca3c9eb src/build-gawk.mk
--- a/src/build-gawk.mk	Mon Mar 11 15:27:39 2019 -0400
+++ b/src/build-gawk.mk	Tue Mar 12 10:40:16 2019 -0400
@@ -32,6 +32,7 @@
 define $(PKG)_BUILD
     mkdir '$(1).build'
     cd    '$(1).build' && '$(1)/configure' \
+	--disable-shared \
         --prefix='$(BUILD_TOOLS_PREFIX)'
     $(MAKE) -C '$(1).build' -j '$(JOBS)'
     $(MAKE) -C '$(1).build' -j 1 install