diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-08-10 09:09:45 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-08-10 09:09:45 (GMT) |
| commit | 9e0ddd9ed99de315e56b003da3c631526b3fb19e (patch) | |
| tree | 8f0edfb4a964286e04dd9fe8343657e7fd6e9701 /scripts | |
| parent | fb42669d45fe37369565db28030c1484d754ce57 (diff) | |
Missing import
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/check.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/check.py b/scripts/check.py index aa346eb..19224f1 100644 --- a/scripts/check.py +++ b/scripts/check.py @@ -4,6 +4,7 @@ from optparse import make_option import random import signal import subprocess +import time from jhbuild.commands import Command, register_command |