summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--build.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/build.xml b/build.xml
index ec8c3a362c..b6ee4d1106 100644
--- a/build.xml
+++ b/build.xml
@@ -1528,6 +1528,7 @@ targets exercised:
<include name="swing/**"/>
<include name="actors/**"/>
<include name="reflect/**"/>
+ <include name="continuations/library/**"/>
</srcfiles></check>
<do>
<stopwatch name="docs.lib.timer"/>