1 files changed, 94 insertions, 0 deletions
diff --git a/version.c b/version.c
new file mode 100644
index 0000000..d9280f0
--- /dev/null
+++ b/version.c
@@ -0,0 +1,94 @@
+/* version.c -- distribution and version numbers. */
+
+/* Copyright (C) 1989-2019 Free Software Foundation, Inc.
+
+   This file is part of GNU Bash, the Bourne Again SHell.
+
+   Bash is free software: you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation, either version 3 of the License, or
+   (at your option) any later version.
+
+   Bash is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with Bash.  If not, see <http://www.gnu.org/licenses/>.
+*/
+
+#include <config.h>
+
+#include <stdio.h>
+
+#include "stdc.h"
+
+#include "version.h"
+#include "patchlevel.h"
+#include "conftypes.h"
+
+#include "bashintl.h"
+
+extern char *shell_name;
+
+/* Defines from version.h */
+const char * const dist_version = DISTVERSION;
+const int patch_level = PATCHLEVEL;
+const int build_version = BUILDVERSION;
+#ifdef RELSTATUS
+const char * const release_status = RELSTATUS;
+#else
+const char * const release_status = (char *)0;
+#endif
+const char * const sccs_version = SCCSVERSION;
+
+const char * const bash_copyright = N_("Copyright (C) 2019 Free Software Foundation, Inc.");
+const char * const bash_license = N_("License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>\n");
+
+/* If == 31, shell compatible with bash-3.1, == 32 with bash-3.2, and so on */
+int shell_compatibility_level = DEFAULT_COMPAT_LEVEL;
+
+/* Functions for getting, setting, and displaying the shell version. */
+
+/* Forward declarations so we don't have to include externs.h */
+extern char *shell_version_string __P((void));
+extern void show_shell_version __P((int));
+
+/* Give version information about this shell. */
+char *
+shell_version_string ()
+{
+  static char tt[32] = { '\0' };
+
+  if (tt[0] == '\0')
+    {
+      if (release_status)
+#if HAVE_SNPRINTF
+	snprintf (tt, sizeof (tt), "%s.%d(%d)-%s", dist_version, patch_level, build_version, release_status);
+#else
+	sprintf (tt, "%s.%d(%d)-%s", dist_version, patch_level, build_version, release_status);
+#endif
+      else
+#if HAVE_SNPRINTF
+	snprintf (tt, sizeof (tt), "%s.%d(%d)", dist_version, patch_level, build_version);
+#else
+	sprintf (tt, "%s.%d(%d)", dist_version, patch_level, build_version);
+#endif
+    }
+  return tt;
+}
+
+void
+show_shell_version (extended)
+     int extended;
+{
+  printf (_("GNU bash, version %s (%s)\n"), shell_version_string (), MACHTYPE);
+  if (extended)
+    {
+      printf ("%s\n", _(bash_copyright));
+      printf ("%s\n", _(bash_license));
+      printf ("%s\n", _("This is free software; you are free to change and redistribute it."));
+      printf ("%s\n", _("There is NO WARRANTY, to the extent permitted by law."));
+    }
+}