X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=config.ml;h=aaf536c00ba9ecbd00ae5a04e96d12d94ba6844b;hb=2b5c3a7099d0ef718c466be184eec162f7030eb5;hp=60166470e47eef038c9d9962dd0b7ac58dddbd08;hpb=bc69fe39242ab6ff5f345f8c1942ab3b9cbc5167;p=goaljobs-goals.git diff --git a/config.ml b/config.ml index 6016647..aaf536c 100644 --- a/config.ml +++ b/config.ml @@ -36,10 +36,21 @@ let libguestfs_localconfigure source = \"$@\" " configure -let libguestfs_localenv = "\ +let libguestfs_localenv supermin = + "\ # Parallel test runs out of resources starting qemu, unclear why. export SKIP_TEST_PARALLEL_MOUNT_LOCAL=1 # Fails under valgrind because cpio subprocess has a memory leak. export SKIP_TEST_FILE_ARCHITECTURE_11=1 -" + +" ^ + match supermin with + | None -> "" + | Some (supermin, supermin_helper) -> + sprintf "\ +# Needs a modified path to supermin binaries: +export SUPERMIN=%s +export SUPERMIN_HELPER=%s + +" supermin supermin_helper