function kill_proid {

		if [ "$2" = "kill" ]
		then
			proid=$(INSPRC | grep ${1} | sed "s/^[ ]*\([0-9].*[0-9]\)[ ]*${1}.*$/\1/g")
			if [ "$proid" = "" ]
			then
				:
			else
				kill ${proid}
				./${1}
			fi
			echo "---${proid}---"
		else
		:
		fi
}



prm="$#"


if (( ${prm} < 2))
then
    echo "mk.sh DB_KEN ins
    or mk.sh DB_KEN clock [kill]
    or mk.sh DB_KEN time [kill]
    ---${prm}"
    exit 0
fi


case "$1" in
test)
	PNAME="XXXXXX"
	;;
db_ken | DB_KEN | DB_KEN_I | KEN | ken )
	PNAME="DB_KEN_I"
;;
db_kou | DB_KOU | DB_KOU_I | KOU | kou )
	PNAME="DB_KOU_I"
;;
con_if_i | CON_IF | CON_IF_I | CON | con )
	PNAME="CON_IF_I"
;;
gai_if_i | GAI_IF | GAI_IF_I | GAI | gai )
	PNAME="GAI_IF_I"
;;
*)
    echo --PNAME-$1
    exit 0
esac

case "$2" in
ins)
	MK_FILE="ins.mk"
	;;
clock)
	MK_FILE="ins_kinn.mk"
	;;
time)
	MK_FILE="ins_kinn_time.mk"
	;;
debug)
	MK_FILE="debug_ins.mk"
	;;
*)
    echo   --MK_FILE-$2
    exit 0
esac

cd /NC13/INS/source/src

rm ./${PNAME}_o
mv ${PNAME} ${PNAME}_o
rm ./${PNAME}


make -f ${MK_FILE} ${PNAME}
kill_proid "${PNAME}" "$3"

exit 0