Add -fno-omit-frame-pointers to gcc when compiling with -with-frame-pointers

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13765 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 7 insertions, 0 deletions

diff --git a/configure b/configure
index 599d855ad..4dbf21fb0 100755
--- a/configure
+++ b/configure
@@ -1584,6 +1584,13 @@ if test "$with_frame_pointers" = "true"; then
   nativecccompopts="$nativecccompopts -g"
   nativecclinkopts="$nativecclinkopts -g"
   echo "#define WITH_FRAME_POINTERS" >> m.h
+
+  case "$cc" in
+    gcc*)
+      bytecccompopts="$bytecccompopts -fno-omit-frame-pointer"
+      nativecccompopts="$nativecccompopts -fno-omit-frame-pointer";;
+  esac
+
 fi