Both Jacksboro High School and Jacksboro Elementary were damaged.
“So we’re just really blessed with facilities designed to withstand a storm, the storm damage we’ve had. I just know that our students were safe in our facilities and I’m thankful for that.”
Burnett said there were no injuries, WFAA reported.
The inspector said primary school students got “quite emotional” as they left the school seeing the damage caused by the storm.
Burnett, who was in the administration building, said the building had not suffered much damage.
Authorities in Round Rock, in Williamson County, said a reported tornado moved through CT around 6 p.m. “There are reports of structural damage to several homes and businesses. Stay off the road, seek shelter and follow the local news for the latest weather updates,” the Round Rock Police Department said in a tweet.
Round Rock is located about 15 miles north of Austin.
The National Weather Service issued a tornado watch for parts of central and northern Texas until 10 p.m. CDT Monday. About 14 million residents were under surveillance, including people in Austin, Dallas and San Antonio.
A few tornadoes have the potential to be intense (EF-2 and above) and storms can produce hail up to 3 inches in diameter and gusts up to 75 mph, forecasters say.
The Storm Prediction Center also received reports of possible tornadoes in Lee County, Texas, and Marshall County, Oklahoma.
