summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2012-01-30 10:44:55 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2012-01-30 10:44:55 +0000
commitd5c159692540ca234c4514ef904815cc637b17fa (patch)
treece452c2c654d3eb273fc9a83a7c0e4319a373afd
parentc2236337554952d0f1479b4e4b022f747354883b (diff)
TeX & Co: Drop report of file offset bits in -version (partially undo r25130)
git-svn-id: svn://tug.org/texlive/trunk@25238 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Build/source/texk/web2c/lib/ChangeLog4
-rw-r--r--Build/source/texk/web2c/lib/printversion.c4
-rw-r--r--Build/source/texk/web2c/lib/texmfmp.c4
3 files changed, 7 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/lib/ChangeLog b/Build/source/texk/web2c/lib/ChangeLog
index 581c8a7f4f3..c06e1fe7651 100644
--- a/Build/source/texk/web2c/lib/ChangeLog
+++ b/Build/source/texk/web2c/lib/ChangeLog
@@ -1,3 +1,7 @@
+2012-01-30 Peter Breitenlohner <peb@mppmu.mpg.de>
+
+ * printversion.c, texmfmp.c: Drop report of file offset bits.
+
2012-01-17 Peter Breitenlohner <peb@mppmu.mpg.de>
* lib.h, printversion.c, texmfmp.c: Report file offset bits.
diff --git a/Build/source/texk/web2c/lib/printversion.c b/Build/source/texk/web2c/lib/printversion.c
index d87f42241f3..6c5fff9a13a 100644
--- a/Build/source/texk/web2c/lib/printversion.c
+++ b/Build/source/texk/web2c/lib/printversion.c
@@ -64,10 +64,8 @@ printversionandexit (const_string banner,
printf ("named COPYING and the %s source.\n", prog_name);
printf ("Primary author of %s: %s.\n", prog_name, author);
- if (extra_info) {
+ if (extra_info)
fputs (extra_info, stdout);
- printf ("Compiled with %d file offset bits\n", 8 * sizeof (off_t));
- }
uexit (0);
}
diff --git a/Build/source/texk/web2c/lib/texmfmp.c b/Build/source/texk/web2c/lib/texmfmp.c
index 4a8bdf40473..f3682cfbb6d 100644
--- a/Build/source/texk/web2c/lib/texmfmp.c
+++ b/Build/source/texk/web2c/lib/texmfmp.c
@@ -1679,11 +1679,11 @@ parse_options (int argc, string *argv)
#endif
} else if (ARGUMENT_IS ("version")) {
-#if defined (pdfTeX) || defined(XeTeX)
char *versions;
+#if defined (pdfTeX) || defined(XeTeX)
initversionstring(&versions);
#else
- const char *versions = "";
+ versions = NULL;
#endif
printversionandexit (BANNER, COPYRIGHT_HOLDER, AUTHOR, versions);