From 6cf1b0c33106adada0a4fe4b31536367336a3843 Mon Sep 17 00:00:00 2001
From: Tomoki Shirasawa <sira@popeye.cc.u-tokyo.ac.jp>
Date: Tue, 15 Oct 2013 13:02:35 +0900
Subject: [PATCH] rename boot.sh to mcreboot rename ihktest to ihkconfig rename
 ihkostest to ihkosctl

---
 Makefile.in             |  2 +-
 boot-attached-mic.sh.in | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index 4fbdc6df..3390c551 100755
--- a/Makefile.in
+++ b/Makefile.in
@@ -28,7 +28,7 @@ install::
 	esac
 	if [ "$(TARGET)" = attached-mic ]; then \
 		mkdir -p -m 755 $(SBINDIR); \
-		install -m 755 boot-attached-mic.sh $(SBINDIR)/boot.sh; \
+		install -m 755 boot-attached-mic.sh $(SBINDIR)/mcreboot; \
 	fi
 
 clean::
diff --git a/boot-attached-mic.sh.in b/boot-attached-mic.sh.in
index 8719b307..442a787d 100755
--- a/boot-attached-mic.sh.in
+++ b/boot-attached-mic.sh.in
@@ -74,25 +74,25 @@ for mod_path in "$KMODDIR/ihk.ko" "$KMODDIR/ihk_mic.ko" "$KMODDIR/mcctrl.ko"; do
 	if [ "$mod_path" == "$KMODDIR/ihk_mic.ko" ]; then
 		echo "creating OS device" >&2
 		sleep 2
-		"$SBINDIR/ihktest" 0 create
+		"$SBINDIR/ihkconfig" 0 create
 		sleep 2
 	fi
 	
 	if [ "$mod_path" == "$KMODDIR/mcctrl.ko" ]; then
 		if [ $# -gt 0 ]; then
 			echo "setting kernel parameter to: \"$1\"" >&2
-			"$SBINDIR/ihkostest" 0 kargs "$1"
+			"$SBINDIR/ihkosctl" 0 kargs "$1"
 			sleep 2
 		else
 			echo "setting kernel parameter to: \"hidos\"" >&2
-			"$SBINDIR/ihkostest" 0 kargs "hidos"
+			"$SBINDIR/ihkosctl" 0 kargs "hidos"
 			sleep 2
 		fi
 		echo "using kernel image: $KERNDIR/mckernel.img" >&2
-		"$SBINDIR/ihkostest" 0 load "$KERNDIR/mckernel.img"
+		"$SBINDIR/ihkosctl" 0 load "$KERNDIR/mckernel.img"
 		sleep 2
 		echo "booting OS 0" >&2
-		"$SBINDIR/ihkostest" 0 boot
+		"$SBINDIR/ihkosctl" 0 boot
 		sleep 2
 	fi
 done