always create global_explorer_out_path

Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
This commit is contained in:
Steven Armstrong 2011-10-13 17:04:33 +02:00
parent d2bbd1d14c
commit 99ffda3cdf

View file

@ -73,6 +73,7 @@ class Local(object):
def create_directories(self):
self.mkdir(self.out_path)
self.mkdir(self.global_explorer_out_path)
self.mkdir(self.bin_path)
def rmdir(self, path):