obsolete;
authorwenzelm
Sat Aug 23 23:21:50 2008 +0200 (2008-08-23)
changeset 2797774d32406010f
parent 27976 12d9ec5b08de
child 27978 9fb6cfaa5da5
obsolete;
lib/classes/mk
     1.1 --- a/lib/classes/mk	Sat Aug 23 23:20:43 2008 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,14 +0,0 @@
     1.4 -#!/bin/bash
     1.5 -# $Id$
     1.6 -
     1.7 -rm -rf build/ && mkdir -p build
     1.8 -
     1.9 -rm -f isabelle.jar
    1.10 -
    1.11 -javac -d build isabelle/IsabelleProcess.java \
    1.12 -&& (
    1.13 -  cd build
    1.14 -  jar cf ../isabelle.jar isabelle/*.class
    1.15 -)
    1.16 -
    1.17 -rm -rf build/