From b1607d02dda67d01287f306adb2de4e4638c9d09 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 12 Dec 2023 15:16:24 +0000 Subject: [PATCH] Temporarily disable swig while building it by hand --- Goalfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Goalfile b/Goalfile index 8af1812..c64817a 100644 --- a/Goalfile +++ b/Goalfile @@ -211,7 +211,8 @@ let packages = [ "plplot", "prooftree", "supermin", - "swig", + # Temporarily disable as I am doing the build by hand. + #"swig", "utop", "virt-top", "virt-v2v", -- 1.8.3.1