diff options
author | 2012-04-08 20:41:09 +0200 | |
---|---|---|
committer | 2012-04-08 20:41:09 +0200 | |
commit | 0bfa1d0fd93c9558411f044df8c7b90797b88147 (patch) | |
tree | fcfa6e8b0f5969c343e3b537db11e69df046b486 | |
parent | Bump version to 0.4.2 (diff) | |
download | overlint-0bfa1d0fd93c9558411f044df8c7b90797b88147.tar.gz overlint-0bfa1d0fd93c9558411f044df8c7b90797b88147.tar.bz2 overlint-0bfa1d0fd93c9558411f044df8c7b90797b88147.zip |
Check if overlay directory exists
-rw-r--r-- | overlint/cli.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/overlint/cli.py b/overlint/cli.py index e2f8087..1a42c17 100644 --- a/overlint/cli.py +++ b/overlint/cli.py @@ -132,6 +132,10 @@ def main(args): conf.overlay_path = sanitize_overlay_path(conf.overlay_path) + if not os.path.isdir(conf.overlay_path): + print("ERROR: Path \"%s\" is not a diretory" % conf.overlay_path, file=sys.stderr) + return 1 + missed_revision_bumps_tree = dict() missed_version_bumps_tree = dict() ebuild_changes_tree = dict() |