diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-12 09:59:52 +0200 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-12 09:59:52 +0200 |
commit | ed2408f160280cd67451b2a0bcc63587564fc949 (patch) | |
tree | 277d442c393a2299da84838f5482b455ddf2c530 /tools | |
parent | 2df12778a540a2c74311f67ba2163e873c75cc6c (diff) | |
parent | e6ac99e6a9871cb6f6931890d65f17a3663c3a4e (diff) | |
download | scala-ed2408f160280cd67451b2a0bcc63587564fc949.tar.gz scala-ed2408f160280cd67451b2a0bcc63587564fc949.tar.bz2 scala-ed2408f160280cd67451b2a0bcc63587564fc949.zip |
Merge branch '2.10.x'
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/new-starr | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/new-starr b/tools/new-starr new file mode 100755 index 0000000000..5f00cc758e --- /dev/null +++ b/tools/new-starr @@ -0,0 +1,6 @@ +#!/bin/bash + +ant -Dscalac.args.optimise="-optimise" locker.done +cp -R src/starr/* src/ +ant build-opt +ant starr.done |