Fix segfault on exit

Change-Id: If22fee14e6651f2ec215f764b2daa3c400f0fe63
1 file changed
tree: 4c21b1ee7bb417f816638e710b7b15ced839ed68
  1. linux/
  2. osx/
  3. waf-tools/
  4. .gitignore
  5. LICENSE
  6. waf
  7. wscript