From 0d1181548b8fc5297b4d026f508581014951d17c Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 21 May 2012 16:46:02 +0200
Subject: [PATCH] dry_run might be undefined in options

---
 system/utils.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system/utils.py b/system/utils.py
index d6938bf..cc03318 100644
--- a/system/utils.py
+++ b/system/utils.py
@@ -23,7 +23,7 @@ def pprint(message,spec,depth=2):
 
 
 def system(command,background=False,silent=False):
-    if options.dry_run:
+    if getattr(options,'dry_run',None):
         print 'dry_run:',command
         return 0
     
-- 
2.47.0