Drop a test-suite experiment committed by mistake
authorXavier Leroy <xavier.leroy@inria.fr>
Fri, 25 Jan 2019 12:47:44 +0000 (13:47 +0100)
committerStéphane Glondu <glondu@debian.org>
Fri, 25 Jan 2019 13:59:28 +0000 (14:59 +0100)
commit17136c3fa765b71835820f1ce5b75c15c63ec50e
tree6d30e902237ddd2c9a814a748c309125192dee3e
parent89f383a9d99ade12ab3672f2115d4dbd10a31fa7
Drop a test-suite experiment committed by mistake

This was failing on armhf because Debian GCC now enables PIE by default.

Bug: https://caml.inria.fr/mantis/view.php?id=7642
Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837359#80

Gbp-Pq: Name 0010-XL-001-tests.asmcomp.patch
testsuite/tests/asmcomp/main.ml