summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xacprep16
1 files changed, 0 insertions, 16 deletions
diff --git a/acprep b/acprep
index 5915b3d3..baf63f6e 100755
--- a/acprep
+++ b/acprep
@@ -1745,35 +1745,19 @@ class PrepareBuild(CommandLineApp):
self.configure_flavor('opt', reset)
- system_hh_gch = join(self.source_dir, 'src', 'system.hh.gch')
- if exists(system_hh_gch):
- os.remove(system_hh_gch)
-
self.log.info('=== Building opt ===')
self.phase_make(*args)
self.configure_flavor('gcov', reset)
- system_hh_gch = join(self.source_dir, 'src', 'system.hh.gch')
- if exists(system_hh_gch):
- os.remove(system_hh_gch)
-
self.log.info('=== Building gcov ===')
self.phase_make(*args)
- system_hh_gch = join(self.source_dir, 'src', 'system.hh.gch')
- if exists(system_hh_gch):
- os.remove(system_hh_gch)
-
self.log.info('=== Building default ===')
self.phase_make(*args)
self.configure_flavor('debug', reset)
- system_hh_gch = join(self.source_dir, 'src', 'system.hh.gch')
- if exists(system_hh_gch):
- os.remove(system_hh_gch)
-
self.log.info('=== Building debug ===')
self.phase_make(*args)