diff options
Diffstat (limited to 'Build')
| -rw-r--r-- | Build/source/texk/web2c/mfluajitdir/mfluajitextra.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/mfluajitdir/mfluajitextra.h b/Build/source/texk/web2c/mfluajitdir/mfluajitextra.h index 87109c5bb2d..18543e946b5 100644 --- a/Build/source/texk/web2c/mfluajitdir/mfluajitextra.h +++ b/Build/source/texk/web2c/mfluajitdir/mfluajitextra.h @@ -4,8 +4,10 @@ */ #include <mfluadir/mflua_version.h> /* for MFLUA_VERSION */ - +#ifdef BANNER +#undef BANNER #define BANNER "This is MFLuaJIT, Version 2.7182818-" MFLUA_VERSION +#endif #define COPYRIGHT_HOLDER "L. Scarso" #define AUTHOR NULL #define PROGRAM_HELP MFLUAJITHELP |