diff options
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/build.xml b/build.xml new file mode 100644 index 0000000..2182d37 --- /dev/null +++ b/build.xml @@ -0,0 +1,30 @@ +<?xml version="1.0" encoding="UTF-8"?> + +<project name="FRC Deployment" default="deploy"> + + <!-- + The following properties can be defined to override system level + settings. These should not be touched unless you know what you're + doing. The primary use is to override the wpilib version when + working with older robots that can't compile with the latest + libraries. + --> + + <!-- By default the system version of WPI is used --> + <!-- <property name="version" value=""/> --> + + <!-- By default the system team number is used --> + <!-- <property name="team-number" value=""/> --> + + <!-- By default the target is set to 10.TE.AM.2 --> + <!-- <property name="target" value=""/> --> + + <!-- Any other property in build.properties can also be overridden. --> + + <property file="${user.home}/wpilib/wpilib.properties"/> + <property file="build.properties"/> + <property file="${user.home}/wpilib/java/${version}/ant/build.properties"/> + + <import file="${wpilib.ant.dir}/build.xml"/> + +</project> |