From 072fc7671a2e1d203b8e006c5cd9d629b0315fa8 Mon Sep 17 00:00:00 2001
From: Takashi Kokubun <takashikkbn@gmail.com>
Date: Mon, 6 Mar 2023 22:43:26 -0800
Subject: [PATCH] Remove obsoleted tool/mjit_archflag.sh

---
 tool/mjit_archflag.sh | 40 ----------------------------------------
 1 file changed, 40 deletions(-)
 delete mode 100644 tool/mjit_archflag.sh

diff --git a/tool/mjit_archflag.sh b/tool/mjit_archflag.sh
deleted file mode 100644
index 082fb4bcd0..0000000000
--- a/tool/mjit_archflag.sh
+++ /dev/null
@@ -1,40 +0,0 @@
-# -*- sh -*-
-
-quote() {
-    printf "#${indent}define $1"
-    shift
-    ${1+printf} ${1+' "%s"'$sep} ${1+"$@"}
-    echo
-}
-
-archs=""
-arch_flag=""
-
-parse_arch_flags() {
-    for arch in $1; do
-	archs="${archs:+$archs }${arch%=*}"
-    done
-
-    while shift && [ "$#" -gt 0 ]; do
-	case "$1" in
-	    -arch)
-		shift
-		archs="${archs:+$archs }$1"
-		;;
-	    *)
-		arch_flag="${arch_flag:+${arch_flag} }$1"
-		;;
-	esac
-    done
-}
-
-define_arch_flags() {
-    ${archs:+echo} ${archs:+'#if 0'}
-    for arch in $archs; do
-	echo "#elif defined __${arch}__"
-	quote "MJIT_ARCHFLAG   " -arch "${arch}"
-    done
-    ${archs:+echo} ${archs:+'#else'}
-    quote "MJIT_ARCHFLAG    /* ${arch_flag:-no flag} */" ${arch_flag}
-    ${archs:+echo} ${archs:+'#endif'}
-}