diff options
Diffstat (limited to 'Build/source')
-rw-r--r-- | Build/source/README | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/README b/Build/source/README index 0bf6b145a22..6ff0ce96227 100644 --- a/Build/source/README +++ b/Build/source/README @@ -121,6 +121,6 @@ GNU Make 3.81 ulimit -s 16384 did suffice for me - compiling of texk/web2c/pdftexdir/writezip.c is broken and triggers a - compiler error with the above gcc. Removing the -O2 for this file - did work out + compiler error with the above gcc. Disabling optimization -O2 using + Build --debug ... resolved this problem. |