14 tag="${1?}"

    14 tag="${1?}"

    15 

    15 

    16 id=$(hg id)

    16 id=$(hg id)

    17 id=${id%% *}

    17 id=${id%% *}

    18 

    18 

    20 case "$id" in

    19 case "$id" in

    21 	*+)	echo "sorry, local version is modified." >&2

    20 	*+)	echo "sorry, local version is modified." >&2

    22 		exit 1

    21 		exit 1

    23 		;;

    22 		;;

    24 esac

    23 esac

    29 		exit 1

    28 		exit 1

    30 		;;

    29 		;;

    31 esac

    30 esac

    32 

    31 

    33 hg tag $o_force "$tag" \

    32 hg tag $o_force "$tag" \

    35 && hg up -r "$tag" \

    34 && hg up -r "$tag" \

    36 && make clean all \

    35 && make clean all \

    37 && hg up -r "$old"

    36 && hg up -r "$old"