equal
deleted
inserted
replaced
23 if [ ! -e "$TARGET" -o "$SOURCE" -nt "$TARGET" ]; then |
23 if [ ! -e "$TARGET" -o "$SOURCE" -nt "$TARGET" ]; then |
24 mkdir -p "$TARGET_DIR" || fail "Bad directory: \"$TARGET_DIR\"" |
24 mkdir -p "$TARGET_DIR" || fail "Bad directory: \"$TARGET_DIR\"" |
25 pushd "$TARGET_DIR" >/dev/null |
25 pushd "$TARGET_DIR" >/dev/null |
26 |
26 |
27 rm -rf classes && mkdir classes |
27 rm -rf classes && mkdir classes |
28 javac -d classes -source 1.5 "$SOURCE" || fail "Failed to compile sources" |
28 javac -d classes -source 1.5 "$(jvmpath "$SOURCE")" || fail "Failed to compile sources" |
29 jar cf "$(jvmpath "$TARGET")" -C classes . || fail "Failed to produce $TARGET" |
29 jar cf "$(jvmpath "$TARGET")" -C classes . || fail "Failed to produce $TARGET" |
30 rm -rf classes |
30 rm -rf classes |
31 |
31 |
32 popd >/dev/null |
32 popd >/dev/null |
33 fi |
33 fi |