diff options
| -rw-r--r-- | tools/makemanifest.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/makemanifest.py b/tools/makemanifest.py index 9ef036826..c07a3a6c7 100644 --- a/tools/makemanifest.py +++ b/tools/makemanifest.py @@ -172,6 +172,8 @@ def mkdir(filename): def freeze_internal(kind, path, script, opt): path = convert_path(path) + if not os.path.isdir(path): + raise FreezeError("freeze path must be a directory") if script is None and kind == KIND_AS_STR: if any(f[0] == KIND_AS_STR for f in manifest_list): raise FreezeError("can only freeze one str directory") |