summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Gevers <elbrus@debian.org>2013-09-28 10:27:11 +0200
committerPaul Gevers <elbrus@debian.org>2017-08-06 11:12:22 -0400
commit960e1ed0e576cfa02489a819f8d3e3b79477d9af (patch)
treee8ce6122bcadb825a08f3579fd871b76efa029e1
parent279139cb9b4d90434becfbeead942e8438f3aab9 (diff)
Use the default Debian optimization O2, iso default fpc O1.
Gbp-Pq: Name Use-the-default-Debian-optimization-O2-iso-default-f.patch
-rwxr-xr-xwinff.lpi5
1 files changed, 5 insertions, 0 deletions
diff --git a/winff.lpi b/winff.lpi
index ba4ade3..1a6d4a1 100755
--- a/winff.lpi
+++ b/winff.lpi
@@ -117,6 +117,11 @@
<UseAnsiStrings Value="False"/>
</SyntaxOptions>
</Parsing>
+ <CodeGeneration>
+ <Optimizations>
+ <OptimizationLevel Value="2"/>
+ </Optimizations>
+ </CodeGeneration>
<Linking>
<Debugging>
<GenerateDebugInfo Value="True"/>