summaryrefslogtreecommitdiff
path: root/tools/new-starr
diff options
context:
space:
mode:
Diffstat (limited to 'tools/new-starr')
-rwxr-xr-xtools/new-starr6
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