1) If called with no args, ./configure.sh now uses a default script file
authorcrawley <crawley@407389f7-7c16-0410-9eee-ad85acb55d7f>
Wed, 30 Jul 2008 13:22:53 +0000 (13:22 +0000)
committercrawley <crawley@407389f7-7c16-0410-9eee-ad85acb55d7f>
Wed, 30 Jul 2008 13:22:53 +0000 (13:22 +0000)
commit5908047d8591c6c2c3787620f2eae8bd4cf80989
treedd11321b7d06767062f92f28bdfb08947fbe5ffb
parentde5c24462753b862984001efa13366ec1bf574c1
1)  If called with no args, ./configure.sh now uses a default script file
2)  Checked in a copy of the configure JAR file to aid bootstrapping in
    a clean checkout.

git-svn-id: https://jnode.svn.sourceforge.net/svnroot/jnode/trunk@4370 407389f7-7c16-0410-9eee-ad85acb55d7f
builder/lib/jnode-configure-dist.jar [new file with mode: 0644]
configure.sh