| 1 |
commit: 0bfa1d0fd93c9558411f044df8c7b90797b88147 |
| 2 |
Author: Sebastian Pipping <sebastian <AT> pipping <DOT> org> |
| 3 |
AuthorDate: Sun Apr 8 18:41:09 2012 +0000 |
| 4 |
Commit: Sebastian Pipping <sping <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sun Apr 8 18:41:09 2012 +0000 |
| 6 |
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/overlint.git;a=commit;h=0bfa1d0f |
| 7 |
|
| 8 |
Check if overlay directory exists |
| 9 |
|
| 10 |
--- |
| 11 |
overlint/cli.py | 4 ++++ |
| 12 |
1 files changed, 4 insertions(+), 0 deletions(-) |
| 13 |
|
| 14 |
diff --git a/overlint/cli.py b/overlint/cli.py |
| 15 |
index e2f8087..1a42c17 100644 |
| 16 |
--- a/overlint/cli.py |
| 17 |
+++ b/overlint/cli.py |
| 18 |
@@ -132,6 +132,10 @@ def main(args): |
| 19 |
|
| 20 |
conf.overlay_path = sanitize_overlay_path(conf.overlay_path) |
| 21 |
|
| 22 |
+ if not os.path.isdir(conf.overlay_path): |
| 23 |
+ print("ERROR: Path \"%s\" is not a diretory" % conf.overlay_path, file=sys.stderr) |
| 24 |
+ return 1 |
| 25 |
+ |
| 26 |
missed_revision_bumps_tree = dict() |
| 27 |
missed_version_bumps_tree = dict() |
| 28 |
ebuild_changes_tree = dict() |
Archives