Buildings damaged due to tornado in Round Rock

A confirmed tornado was spotted near the intersection of I-35 and I-45 in Round Rock.