diff options
Diffstat (limited to 'Build/source/texk/web2c/lib')
| -rw-r--r-- | Build/source/texk/web2c/lib/ChangeLog | 8 | ||||
| -rw-r--r-- | Build/source/texk/web2c/lib/texmfmp.c | 4 |
2 files changed, 10 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/lib/ChangeLog b/Build/source/texk/web2c/lib/ChangeLog index a0ea61120ec..fcd4fe64814 100644 --- a/Build/source/texk/web2c/lib/ChangeLog +++ b/Build/source/texk/web2c/lib/ChangeLog @@ -1,3 +1,11 @@ +2016-03-22 Karl Berry <karl@freefriends.org> + + * texmfmp.c: no uexit after FATAL. + +2016-03-21 Karl Berry <karl@freefriends.org> + + * texmfmp.c (initstarttime): wording of invalid SOURCE_DATE_EPOCH. + 2016-01-26 Akira Kakuto <kakuto@fuk.kinidai.ac.jp> * texmfmp.c: Improve to skip BOM (win32 only). diff --git a/Build/source/texk/web2c/lib/texmfmp.c b/Build/source/texk/web2c/lib/texmfmp.c index b5242e2d372..fae82477b93 100644 --- a/Build/source/texk/web2c/lib/texmfmp.c +++ b/Build/source/texk/web2c/lib/texmfmp.c @@ -3000,8 +3000,8 @@ void initstarttime(void) errno = 0; epoch = strtoll(source_date_epoch, &endptr, 10); if (epoch < 0 || *endptr != '\0' || errno != 0) { - fprintf(stderr, "Environment variable $SOURCE_DATE_EPOCH: invalid value: %s\n", source_date_epoch); - uexit(EXIT_FAILURE); + FATAL1 ("invalid value for environment variable $SOURCE_DATE_EPOCH: %s", + source_date_epoch); } start_time = epoch; makepdftime(start_time, start_time_str, /* utc= */true); |