Due to a bug in the svn client in Jenkins, svn externals cannot be handled, so I had to set the Jenkins jobs to "ignore externals" (the default), and then check for the presence of the external file(s) at the beginning of the build process; if they're missing, ant will do an svn export using exec to put it where we need it. Curses. But working now.