From ec860797471ee0c16dc529ee27128f712f6f63e4 Mon Sep 17 00:00:00 2001 From: Holger Weiss Date: Sun, 23 Jul 2023 14:56:01 +0200 Subject: [PATCH] make-binaries: Don't duplicate config entries --- tools/make-binaries | 2 -- 1 file changed, 2 deletions(-) diff --git a/tools/make-binaries b/tools/make-binaries index 1f3788278..7148243ec 100755 --- a/tools/make-binaries +++ b/tools/make-binaries @@ -297,7 +297,6 @@ create_x64_config() local file="$1" local libc="$2" - create_common_config "$file" create_${libc}_config "$file" cat >>"$file" <<-'EOF' @@ -312,7 +311,6 @@ create_arm64_config() local file="$1" local libc="$2" - create_common_config "$file" create_${libc}_config "$file" cat >>"$file" <<-'EOF'