diff options
| -rwxr-xr-x | mk.sh | 4 |
1 files changed, 2 insertions, 2 deletions
| diff --git a/mk.sh b/mk.sh index 9c876e2..da38c87 100755 --- a/mk.sh +++ b/mk.sh | |||
| @@ -2,7 +2,7 @@ | |||
| 2 | set -e | 2 | set -e |
| 3 | 3 | ||
| 4 | if [ $# -ne 2 ]; then | 4 | if [ $# -ne 2 ]; then |
| 5 | echo "err: bad usage" >&2 | 5 | echo "err: bad usage." >&2 |
| 6 | exit 2 | 6 | exit 2 |
| 7 | fi | 7 | fi |
| 8 | 8 | ||
| @@ -12,7 +12,7 @@ script="$1/$mk/$2.sh" | |||
| 12 | if [ -f "$script" ]; then | 12 | if [ -f "$script" ]; then |
| 13 | (cd "$1" && sh "$mk/$2.sh") | 13 | (cd "$1" && sh "$mk/$2.sh") |
| 14 | else | 14 | else |
| 15 | echo "err: no such file/dir" >&2 | 15 | echo "err: no such file/dir." >&2 |
| 16 | exit 1 | 16 | exit 1 |
| 17 | fi | 17 | fi |
| 18 | 18 | ||
