strerror est standard ANSI C, ne pas le detecter.

Support profiling pour AMD64/Linux


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

1 files changed, 1 insertions, 5 deletions

diff --git a/configure b/configure
index 6f6ecce6f..0f6df6806 100755
--- a/configure
+++ b/configure
@@ -649,6 +649,7 @@ case "$arch,$model,$system" in
   sparc,*,solaris)
     profiling='prof'
     case "$nativecc" in gcc*) ;; *) cc_profile='-xpg';; esac;;
+  amd64,*,linux) profiling='prof';;
   *) profiling='noprof';;
 esac
 
@@ -744,11 +745,6 @@ fi
 
 # For the sys module
 
-if sh ./hasgot strerror; then
-  echo "strerror() found."
-  echo "#define HAS_STRERROR" >> s.h
-fi
-
 if sh ./hasgot times; then
   echo "times() found."
   echo "#define HAS_TIMES" >> s.h