diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-04-18 09:54:34 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-04-18 09:54:34 +0000 |
| commit | 86bd9990f46272873db0d5f897201324279a355c (patch) | |
| tree | 071d4e7083a7d7cdd562c75e279b8e8764703e8d /byterun/debugger.c | |
| parent | e3aaa68105095e3dbcb2c08dd2b8203a62f8f1cc (diff) | |
configure: always define ARCH_INT64_TYPE in config/m.h because Coq
and maybe others rely on it
byterun/config.h: select "long long" in preference to "long" for "int64",
just because this is how it was done in earlier versions.
(Minimizing suprises.)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14635 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/debugger.c')
0 files changed, 0 insertions, 0 deletions