English

Verb

double-time ‎(third-person singular simple present double-times, present participle double-timing, simple past and past participle double-timed)

1. (intransitive, military) to march at double time.
2. (transitive, military) to order troops to march at double time.
   • ...after ten or fifteen minutes of preparation, he stopped the artillery and instructed Corporal Lamb to double-time his platoon to the intermediate knoll under cover of fire from the machine guns. — "Combat Actions in Korea" (1954)