diff options
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/rcfile.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/rcfile.c b/src/tools/rcfile.c index 15cb6955..42cf647c 100644 --- a/src/tools/rcfile.c +++ b/src/tools/rcfile.c @@ -87,6 +87,7 @@ CENTRYBOOL(BOX64_NOSIGILL, no_sigill) \ ENTRYBOOL(BOX64_SHOWSEGV, box64_showsegv) \ ENTRYBOOL(BOX64_SHOWBT, box64_showbt) \ ENTRYBOOL(BOX64_MMAP32, box64_mmap32) \ +ENTRYBOOL(BOX64_MMAP32, box64_ignoreint3) \ ENTRYBOOL(BOX64_X11THREADS, box64_x11threads) \ ENTRYBOOL(BOX64_X11GLX, box64_x11glx) \ ENTRYDSTRING(BOX64_LIBGL, box64_libGL) \ |