[SCM] gawk branch, feature/pma2, updated. gawk-4.1.0-4765-g78fd9d6f

[Arnold Robbins]

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, feature/pma2 has been updated
       via  78fd9d6f1f45688d32e77ed7eb8cb18f9a140ec8 (commit)
      from  a6253b1b2f3eba98a42c8b39d4af8916187d7249 (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=78fd9d6f1f45688d32e77ed7eb8cb18f9a140ec8

commit 78fd9d6f1f45688d32e77ed7eb8cb18f9a140ec8
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jun 20 08:48:35 2022 +0300

    Add --persist option.

diff --git a/ChangeLog b/ChangeLog
index e5e80aea..31d95383 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -4,6 +4,13 @@
        * main.c (deprecate_mpfr): ifdef'ed out.
        (parse_args): Comment out call to deprecate_mpfr().
 
+2022-06-20         Arnold D. Robbins     <arnold@skeeve.com>
+
+       * main.c (optab): Add --persist.
+       (parse_args): For --persist, fatal message to use the
+       environment variable. Thanks to Terence Kelly for suggesting
+       the option, since it's mentioned in his paper.
+
 2022-06-17         Arnold D. Robbins     <arnold@skeeve.com>
 
        * NEWS: Typo fix.
diff --git a/main.c b/main.c
index 95444411..1a7f642c 100644
--- a/main.c
+++ b/main.c
@@ -205,6 +205,7 @@ static const struct option optab[] = {
 #if defined(YYDEBUG) || defined(GAWKDEBUG)
        { "parsedebug",         no_argument,            NULL,   'Y' },
 #endif
+       { "persist",            required_argument,      NULL,   'T' },
        { "posix",              no_argument,            NULL,   'P' },
        { "pretty-print",       optional_argument,      NULL,   'o' },
        { "profile",            optional_argument,      NULL,   'p' },
@@ -1727,6 +1728,14 @@ parse_args(int argc, char **argv)
                        do_flags |= DO_SANDBOX;
                        break;
 
+               case 'T':       // --persist=file
+#ifdef USE_PERSISTENT_MALLOC
+                       fatal(_("Use `GAWK_PERSIST_FILE=%s gawk ...' instead of 
--persist."), optarg);
+#else
+                       warning(_("Persistent memory is not supported."));
+#endif /* USE_PERSISTENT_MALLOC */
+                       break;
+
                case 'V':
                        do_version = true;
                        break;

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

Summary of changes:
 ChangeLog | 7 +++++++
 main.c    | 9 +++++++++
 2 files changed, 16 insertions(+)


hooks/post-receive
-- 
gawk