From 5dca660a93086fca5aa59eda8bfa3a67e2d88fe1 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Wed, 27 Mar 2013 18:11:08 -0700 Subject: get rid of args element in staged-scalac --- build.xml | 28 ++++++++++------------------ 1 file changed, 10 insertions(+), 18 deletions(-) diff --git a/build.xml b/build.xml index 5b776d1abd..1827a81d7a 100644 --- a/build.xml +++ b/build.xml @@ -775,32 +775,27 @@ targets exercised: - + params="${scalac.args.@{stage}} @{args}"> - - - + + srcpath="@{srcpath}" + params="${scalac.args.@{stage}} @{args}"> - - - + @@ -1087,10 +1082,7 @@ targets exercised: - - - + args="-Xplugin-require:continuations -P:continuations:enable -Xpluginsdir ${build-quick.dir}/misc/scala-devel/plugins"/> -- cgit v1.2.3