Further post-ant cleanup

This removes duplication introduced in the ant -> ansible migration.
2 files changed
tree: 4a141dc0b3b29e51bc308f914b97036e4b44a74c
  1. tools/