diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-20 11:47:20 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-20 11:47:20 +0100 |
| commit | e80af0edafe49ec2576b7fa3a24d4596083698b6 (patch) | |
| tree | 0b3a0cb73736e4797cf090884a121dd9304b833a /test/monniaux/jpeg-6b | |
| parent | c10a470bf10e0f1caf0df9d8491ae01464146b55 (diff) | |
| download | compcert-kvx-e80af0edafe49ec2576b7fa3a24d4596083698b6.tar.gz compcert-kvx-e80af0edafe49ec2576b7fa3a24d4596083698b6.zip | |
vire des scories INT_DIV et INT_MOD
Diffstat (limited to 'test/monniaux/jpeg-6b')
| -rw-r--r-- | test/monniaux/jpeg-6b/jconfig.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/jpeg-6b/jconfig.h b/test/monniaux/jpeg-6b/jconfig.h index 90ee0d5f..c6b77e42 100644 --- a/test/monniaux/jpeg-6b/jconfig.h +++ b/test/monniaux/jpeg-6b/jconfig.h @@ -31,7 +31,7 @@ #undef NO_SWITCH #define HAS_FLOAT 1 -#ifdef __COMPCERT__ +#if 0 extern long long __compcert_i64_sdiv(long long a, long long b); extern long long __compcert_i64_smod(long long a, long long b); |