| commit | f7eed849e24ad3aeceb9ddc843bc750f9379314e | [log] [tgz] |
|---|---|---|
| author | Michael Ernst <mernst@cs.washington.edu> | Fri Aug 28 06:27:10 2015 -0700 |
| committer | Michael Ernst <mernst@cs.washington.edu> | Fri Aug 28 06:27:10 2015 -0700 |
| tree | 9bb7369c84891c3da4125b740471d185ea611dba | |
| parent | 9967de5fe4b0240e9b5169020aec35fb29cdfb83 [diff] [blame] |
Add tags target in top-level build.xml
diff --git a/build.xml b/build.xml index b345449..e9bdad4 100644 --- a/build.xml +++ b/build.xml
@@ -69,5 +69,15 @@ <target name="javadoc" depends="javadoc-scene-lib,javadoc-afu"> </target> + <target name="tags-scene-lib"> + <ant dir="${scene-lib}" target="tags"/> + </target> + + <target name="tags-afu"> + <ant dir="${afu}" target="tags"/> + </target> + + <target name="tags" depends="tags-scene-lib,tags-afu"> + </target> </project>