diff options
| author | Carl Hetherington <cth@carlh.net> | 2012-09-24 23:49:53 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2012-09-24 23:49:53 +0100 |
| commit | 4fd257106009b2db170dafddece06ee3c190fceb (patch) | |
| tree | 7c76eb39f2981e4d492404dcc0966de10eb83eb3 /wscript | |
| parent | 45698c6bc5cd3a596e7f0c963733d502c11dd854 (diff) | |
Remove long-since disused hash debugging.
Diffstat (limited to 'wscript')
| -rw-r--r-- | wscript | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -9,7 +9,6 @@ def options(opt): opt.load('compiler_cxx') opt.load('winres') - opt.add_option('--debug-hash', action='store_true', default = False, help = 'print hashes of data at various points') opt.add_option('--enable-debug', action='store_true', default = False, help = 'build with debugging information and without optimisation') opt.add_option('--disable-gui', action='store_true', default = False, help = 'disable building of GUI tools') opt.add_option('--disable-player', action='store_true', default = False, help = 'disable building of the player components') @@ -37,7 +36,6 @@ def configure(conf): boost_lib_suffix = '' boost_thread = 'boost_thread' - conf.env.DEBUG_HASH = conf.options.debug_hash conf.env.TARGET_WINDOWS = conf.options.target_windows conf.env.DISABLE_GUI = conf.options.disable_gui conf.env.DISABLE_PLAYER = conf.options.disable_player |