fix --profile=pprof on newer ubuntus

The --as-needed default for ld would drop -lprofiler.

diff --git a/configure.py b/configure.py
index c526c1ae11956900d810cc50bd3224cc72d1d0eb..bfcf2ec1ba75e4ce51bbc4702b3f4bb42d245dea 100755 (executable)
--- a/configure.py
+++ b/configure.py
@@ -166,7 +166,8 @@ else:
         cflags.append('-pg')
         ldflags.append('-pg')
     elif options.profile == 'pprof':
-        libs.append('-lprofiler')
+        cflags.append('-fno-omit-frame-pointer')
+        libs.extend(['-Wl,--no-as-needed', '-lprofiler'])
 
 def shell_escape(str):
     """Escape str such that it's interpreted as a single argument by