diff options
Diffstat (limited to 'util/pl')
-rw-r--r-- | util/pl/linux.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util/pl/linux.pl b/util/pl/linux.pl index 3e49755326..8924ed5480 100644 --- a/util/pl/linux.pl +++ b/util/pl/linux.pl @@ -12,6 +12,8 @@ $rm='/bin/rm -f'; $cc='gcc'; if ($debug) { $cflags="-g2 -ggdb -DREF_CHECK -DCRYPTO_MDEBUG"; } +elsif ($profile) + { $cflags="-pg -O3"; } else { $cflags="-O3 -fomit-frame-pointer"; } |