summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2004-08-13 13:38:27 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2004-08-13 13:38:27 +0000
commit6310a642de9a696dbef29e940082abdfc20e1b05 (patch)
tree6a3f767e2b25e98337705ecf5b85f56215509132 /configure
parent9dff4b1fa24c727bb4be971fcc39f5cf0148a32a (diff)
Detection stack overflow pour AMD64/Linux
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index e96cedebb..c74a6a120 100755
--- a/configure
+++ b/configure
@@ -1035,7 +1035,7 @@ fi
# Determine if system stack overflows can be detected
case "$arch,$system" in
- i386,linux_elf)
+ i386,linux_elf|amd64,linux)
echo "System stack overflow can be detected."
echo "#define HAS_STACK_OVERFLOW_DETECTION" >> s.h;;
*)