diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 13:41:53 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 15:09:56 -0500 |
commit | 7cbefd56ba087ae51bc618db5bc72a51d10dedbf (patch) | |
tree | 9e9a7a703c910b6cd90c2dbdb981f383d5f3a577 /configure.ml | |
parent | 4e783ae1e73875e34026baff95afc46351746098 (diff) |
Disable test 4366, which is too time-sensitive for MIPS
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions