From 6d24aa66ebb5231ead47bf5f0924908b76acd622 Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Sat, 15 Dec 2012 09:39:22 +0000
Subject: Put real_prefix_path in the home

So that it doesn't get deleted when we clean. Otherwise every time
the prefix is different and ccache is useless.
---
(limited to 'devbot/config.py')

diff --git a/devbot/config.py b/devbot/config.py
index a6d2b49..31abe3d 100644
--- a/devbot/config.py
+++ b/devbot/config.py
@@ -121,7 +121,7 @@ def _setup_home_dir(dir):
 def _setup_prefix_dir(dir, relocatable):
     global prefix_dir
 
-    real_prefix_path = os.path.join(dir, "real_prefix")
+    real_prefix_path = os.path.join(config_home_dir, "real_prefix")
 
     if os.path.exists(real_prefix_path):
         with open(real_prefix_path) as f:
--
cgit v0.9.1