+
+/* Functions for getting, setting, and displaying the shell version. */
+
+/* Give version information about this shell. */
+char *
+shell_version_string ()
+{
+ static char tt[32] = { '\0' };
+
+ if (tt[0] == '\0')
+ {
+ if (release_status)
+ sprintf (tt, "%s.%d(%d)-%s", dist_version, patch_level, build_version, release_status);
+ else
+ sprintf (tt, "%s.%d(%d)", dist_version, patch_level, build_version);
+ }
+ return tt;
+}
+
+#if !defined (MACHTYPE)
+# define MACHTYPE "unknown"
+#endif
+
+void
+show_shell_version (extended)
+ int extended;
+{
+ printf ("GNU bash, version %s (%s)\n", shell_version_string (), MACHTYPE);
+ if (extended)
+ printf ("Copyright 1996 Free Software Foundation, Inc.\n");
+}