From: Sergey Poznyakoff <gray@gnu.org.ua>
Date: Tue, 7 Feb 2006 13:35:29 +0000 (+0000)
Subject: Restore changes accidentally lost during the "autoupdate" on 2005-12-12.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4a44dc212b22f40133470210bf91db35703a2ab3;p=pspp

Restore changes accidentally lost during the "autoupdate" on 2005-12-12.
---

diff --git a/lib/argp-namefrob.h b/lib/argp-namefrob.h
index f10f58297b..ea3086455e 100644
--- a/lib/argp-namefrob.h
+++ b/lib/argp-namefrob.h
@@ -141,6 +141,20 @@
 # define putchar_unlocked(x) putchar (x)
 # endif
 
+/* GNULIB makes sure both program_invocation_name and
+   program_invocation_short_name are available */
+#ifdef GNULIB_PROGRAM_INVOCATION_NAME
+extern char *program_invocation_name;
+# undef HAVE_DECL_PROGRAM_INVOCATION_NAME
+# define HAVE_DECL_PROGRAM_INVOCATION_NAME 1
+#endif
+
+#ifdef GNULIB_PROGRAM_INVOCATION_SHORT_NAME
+extern char *program_invocation_short_name;
+# undef HAVE_DECL_PROGRAM_INVOCATION_SHORT_NAME
+# define HAVE_DECL_PROGRAM_INVOCATION_SHORT_NAME 1
+#endif
+
 #endif /* !_LIBC */
 
 #ifndef __set_errno