Merge ktlim@zizzer:/bk/newmem

into zamp.eecs.umich.edu:/z/ktlim2/clean/newmem-merge --HG-- extra : convert_revision : 037fe9ee54da7e11c2bd07388b9f79cda9abef4c
2006-06-17 22:05:02 -04:00
parent d91f4d172a 393e77fbe9
commit bc3d009aba
13 changed files with 224 additions and 111 deletions
--- a/4
+++ b/4
@@ -475,10 +475,6 @@ for build_path in build_paths:
            env.ParseConfig(mysql_config_libs)
            env.ParseConfig(mysql_config_include)

-    # Check if the Checker is being used.  If so append it to env['CPU_MODELS']
-    if env['USE_CHECKER']:
-        env['CPU_MODELS'].append('CheckerCPU')
-
    # Save sticky option settings back to current options file
    sticky_opts.Save(current_opts_file, env)