summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xseivot3
1 files changed, 2 insertions, 1 deletions
diff --git a/seivot b/seivot
index 14a7ca8..7705c49 100755
--- a/seivot
+++ b/seivot
@@ -426,7 +426,8 @@ class Seivot(cliapp.Application):
target_dir = os.path.join(self.tempdir, 'restored')
os.mkdir(target_dir)
self.measure(prog.restore, i, 0, target_dir=target_dir)
- self.verify(target_dir, i)
+ if self.settings['verify']:
+ self.verify(target_dir, i)
shutil.rmtree(target_dir)
for i in range(generations):