From d55a3cf19ddf163df97d6b636ba1f3817e682192 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulf=20M=C3=B6ller?= Date: Fri, 21 Jul 2000 19:00:38 +0000 Subject: Profiling option for mk1mf.pl --- util/pl/linux.pl | 2 ++ 1 file changed, 2 insertions(+) (limited to 'util/pl') 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"; } -- cgit v1.2.3