From 3f0996e573a849a29f1043df5daeb32c1ed128cf Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Mon, 12 Jan 2026 13:04:41 +0100 Subject: chore: configure.pl: don't run `install` after configuring mingw repo. Signed-off-by: Amlal El Mahrouss --- configure.pl | 1 - 1 file changed, 1 deletion(-) diff --git a/configure.pl b/configure.pl index c8e70d3..8c47c53 100755 --- a/configure.pl +++ b/configure.pl @@ -12,6 +12,5 @@ system("sh", "git", "submodule", "update", "--init", "--recursive"); chdir("./toolchains/mingw-w64-nekernel/") or die "Cannot change directory: $!"; system("configure", "--host=x86_64-w64-mingw32", "--prefix=mingw64-w64-nekernel") or die "Configuration failed: $!"; -system("make", "install") or die "Build failed: $!"; print("Configuration and build complete.\nUse 'make install' to install the toolchain.\n"); -- cgit v1.2.3