lib/browser/build
changeset 61294 2d3d26e9b191
parent 49004 3a324a3f4aea
child 68014 9096895dc2a6
equal deleted inserted replaced
61293:876e7eae22be 61294:2d3d26e9b191
    63 
    63 
    64   rm -rf classes && mkdir classes
    64   rm -rf classes && mkdir classes
    65 
    65 
    66   isabelle_jdk javac -d classes -source 1.4 "${SOURCES[@]}" || \
    66   isabelle_jdk javac -d classes -source 1.4 "${SOURCES[@]}" || \
    67     fail "Failed to compile sources"
    67     fail "Failed to compile sources"
    68   isabelle_jdk jar cf "$(jvmpath "$TARGET")" -C classes . ||
    68   isabelle_jdk jar cf "$(platform_path "$TARGET")" -C classes . ||
    69     fail "Failed to produce $TARGET"
    69     fail "Failed to produce $TARGET"
    70 
    70 
    71   rm -rf classes
    71   rm -rf classes
    72 fi
    72 fi