tree ff54faae00c2cce0d53316ff18494ed08ff52080
parent 574aa86e88168e812fe7c40c3a42ab82eada68bd
author Davide Pesavento <davide.pesavento@lip6.fr> 1484595838 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1484596086 -0500

build+src: mark destructor virtual in classes with virtual functions

And to prevent similar mistakes in the future, add -Wnon-virtual-dtor
to the default build flags.

Change-Id: I28e2361341abab29fca134309288cd259736d67a