subject:"\[PATCH\] use ant\-launcher.jar in runant.py"

Re: [PATCH] use ant-launcher.jar in runant.py

2003-08-22 Thread Antoine Levy-Lambert

Patch submitted, thanks Antoine - Original Message - From: "Knut Wannheden" <[EMAIL PROTECTED]> To: <[EMAIL PROTECTED]> Sent: Friday, August 22, 2003 3:05 PM Subject: [PATCH] use ant-launcher.jar in runant.py > Hi, > > This patch for the runant.py Ant lau

[PATCH] use ant-launcher.jar in runant.py

2003-08-22 Thread Knut Wannheden

Hi, This patch for the runant.py Ant launcher script uses the new ant-launcher.jar to run Ant instead of adding the contents of the lib directory to the system classpath explicitly. I've further patched the script to: - better match the structure of the 'ant' script - insert the -Djikes.class.