diff options
author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-02-21 07:19:56 +0000 |
---|---|---|
committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-02-21 07:19:56 +0000 |
commit | f44a844c9b46f1f7f630ca8512426dc2b020a8e0 (patch) | |
tree | 9ce71d6f20c269fcf781985ba33fe29bb3c51b35 /tune | |
parent | b34a2a432d1fc74e1621d006b91ba2ebbdf48350 (diff) | |
download | mpfr-f44a844c9b46f1f7f630ca8512426dc2b020a8e0.tar.gz |
removed thresholds for arm since gcc57 is no longer available, thus we cannot
tune on an ARM machine
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12350 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tune')
0 files changed, 0 insertions, 0 deletions