diff options
Diffstat (limited to 'tools/new-starr')
-rwxr-xr-x | tools/new-starr | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/tools/new-starr b/tools/new-starr deleted file mode 100755 index 5f00cc758e..0000000000 --- a/tools/new-starr +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash - -ant -Dscalac.args.optimise="-optimise" locker.done -cp -R src/starr/* src/ -ant build-opt -ant starr.done |