| Index: tools/utils.py
 | 
| diff --git a/tools/utils.py b/tools/utils.py
 | 
| index a81c7e6749093c47d25acbe5246a4c9bab33ed11..88339302846a8f6b81a922377c44a00a73d68164 100644
 | 
| --- a/tools/utils.py
 | 
| +++ b/tools/utils.py
 | 
| @@ -462,6 +462,19 @@ class TempDir(object):
 | 
|    def __exit__(self, *_):
 | 
|      shutil.rmtree(self._temp_dir, ignore_errors=True)
 | 
|  
 | 
| +class ChangedWorkingDirectory(object):
 | 
| +  def __init__(self, working_directory):
 | 
| +    self._working_directory = working_directory
 | 
| +
 | 
| +  def __enter__(self):
 | 
| +    self._old_cwd = os.getcwd()
 | 
| +    print "Enter directory = ", self._working_directory
 | 
| +    os.chdir(self._working_directory)
 | 
| +
 | 
| +  def __exit__(self, *_):
 | 
| +    print "Enter directory = ", self._old_cwd
 | 
| +    os.chdir(self._old_cwd)
 | 
| +
 | 
|  
 | 
|  if __name__ == "__main__":
 | 
|    import sys
 | 
| 
 |