Empty the gen cache whenever the update script is being run (#276)
Empty the gen cache whenever the update script is being run (#276)


netsec-ethz/scion-coord,netsec-ethz/scion-coord,netsec-ethz/scion-coord,netsec-ethz/scion-coord,netsec-ethz/scion-coord,netsec-ethz/scion-coord