1b2667b Add -with-frame-pointers to ./configure

Authored and Committed by Fabrice Le Fessant 10 years ago
    Add -with-frame-pointers to ./configure
    
    This option can be used to tell the native compiler that it should
    update frame pointers, so that debuggers and profiling tools 
    (especially Linux perf) can use them. For now, it is only supported
    by the Unix/amd64 port.
    
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13730 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    
        
file modified
+12 -9
file modified
+1 -0
file modified
+1 -0
file modified
+20 -8
file modified
+37 -16
file modified
+3 -0
file modified
+1 -0
file modified
+2 -1
file modified
+3 -0
file modified
+2 -0
file modified
+3 -0
file modified
+2 -0
file modified
+33 -7
file modified
+16 -0
file modified
+2 -1
file modified
+2 -0
file modified
+2 -0