From 60fa170bee41f1d76e99a95430aa75047b0ac787 Mon Sep 17 00:00:00 2001
From: Joachim Wiberg <troglobit@gmail.com>
Date: Sat, 29 Apr 2023 12:47:30 +0200
Subject: [PATCH] board/common: for consistency, preserve x86_64 even in
 filenames

Signed-off-by: Joachim Wiberg <troglobit@gmail.com>
---
 board/common/post-image.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/board/common/post-image.sh b/board/common/post-image.sh
index fe824c46..1cfdcb24 100755
--- a/board/common/post-image.sh
+++ b/board/common/post-image.sh
@@ -4,7 +4,7 @@ common=$(dirname "$(readlink -f "$0")")
 
 load_cfg BR2_DEFCONFIG
 load_cfg BR2_EXTERNAL_INFIX_PATH
-NAME=infix-$(basename "$BR2_DEFCONFIG" _defconfig | tr _ -)
+NAME=infix-$(basename "$BR2_DEFCONFIG" _defconfig | tr _ - | sed 's/x86-64/x86_64/')
 
 ver()
 {