6b61b03434
autowaf has no real shutdown functionality anyway. The automatic shutdown function that could have been called wouldn't work anyway, as it takes an argument. The only reason it doesn't fail is that the top level wscript has no shutdown handling and doesn't recurse to other scripts, so it is all dead code. |
||
|---|---|---|
| .. | ||
| button_config_widget.cc | ||
| button_config_widget.h | ||
| contourdesign_gui.cc | ||
| contourdesign.cc | ||
| contourdesign.h | ||
| interface.cc | ||
| jump_distance_widget.cc | ||
| jump_distance_widget.h | ||
| wscript | ||