No, the GPL only requires you to share your changes if you distribute the product (and no, issuing it to your own soldiers/employees doesn't count). If they give/sell these to other countries, though...

does sending compiled code inside of a missile count as distribution? seems like it would.

But then you'd have to print the GPL on the nose cone. End users have rights.