[Gsrc-commit] trunk r10013: update gnubatch to 1.11

[Carl Hansen]

------------------------------------------------------------
revno: 10013
revision-id: carlhansen@gnu.org-20240307210248-gsfbl6u5rzxq72a9
parent: carlhansen@gnu.org-20240307210233-z2uodbkm53pgy5cv
committer: carlhansen@gnu.org
branch nick: trunk
timestamp: Thu 2024-03-07 21:02:48 +0000
message:
  update gnubatch to 1.11
modified:
  pkg/gnu/gnubatch/Makefile      makefile-20160617014725-uokjfnggs70iry9h-777
  pkg/gnu/gnubatch/config.mk     config.mk-20160617015715-731p200h190wpz4o-1

=== modified file 'pkg/gnu/gnubatch/Makefile'
--- a/pkg/gnu/gnubatch/Makefile 2022-10-20 18:53:47 +0000
+++ b/pkg/gnu/gnubatch/Makefile 2024-03-07 21:02:48 +0000
@@ -43,7 +43,7 @@
 
 ######################################################################
 
-include ../../../gar/gar.lib/auto.mk
+include ../../../gar/gar.lib/autotools.mk
 include config.mk
 
 NEED_USERS = $(BATCHUSR) root

=== modified file 'pkg/gnu/gnubatch/config.mk'
--- a/pkg/gnu/gnubatch/config.mk        2016-06-17 19:08:15 +0000
+++ b/pkg/gnu/gnubatch/config.mk        2024-03-07 21:02:48 +0000
@@ -6,7 +6,8 @@
 ## expected. As a result, to properly build and use this software via GSRC, you
 ## will likely need root priveledges.
 
-CONFIGURE_OPTS ?= --enable-sharedlibs
+CONFIGURE_OPTS ?=
+#--enable-sharedlibs
 BUILD_OPTS ?=
 
 # gnubatch requires that you set a batch user (default gnubatch). Only changes 
in