| commit | 9de743f7333322ebdf4ec885f01c5a6916f562ef | [log] [tgz] |
|---|---|---|
| author | Shawn O. Pearce <sop@google.com> | Wed Jan 07 09:50:55 2009 -0800 |
| committer | Shawn O. Pearce <sop@google.com> | Wed Jan 07 09:50:55 2009 -0800 |
| tree | 386ae8157a391bf59cfa07f9826abc6945b4d48e | |
| parent | 0c35dc3543023157211c7aa319aed93deaee7469 [diff] |
Add a --fast option to to_jetty.sh to reduce build times This is "unsafe" as it may miss changes in gwtorm, gwtjsonrpc, jgit or mina_sshd, but it runs in 38 seconds vs. 2 minutes to do a full clean build and test. It also packages too much into the WAR, old compiled copies of the JavaScript are left laying around. Signed-off-by: Shawn O. Pearce <sop@google.com>