X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=config.ml;h=e6d5e3c5c6b0f9321a47379c23c96eb9743f9d01;hb=e9c34d60d744b25170f82c60cd300a67711a971f;hp=ffac9113c1d648ab01ac39e6a7617c7ac01a6c12;hpb=d9f88f6f641bad7439bb5bde36ff4fbc76db39a9;p=goaljobs-goals.git

diff --git a/config.ml b/config.ml
index ffac911..e6d5e3c 100644
--- a/config.ml
+++ b/config.ml
@@ -73,6 +73,9 @@ export SKIP_TEST_GUESTMOUNT_FD=1
 export SKIP_TEST_XFS_ADMIN=1
 export SKIP_TEST_XFS_MISC_PL=1
 
+# syslinux broken by mtools (RHBZ#1275087).
+export SKIP_TEST_SYSLINUX_PL=1
+
 " ^
     match supermin with
     | None -> ""