diff options
-rwxr-xr-x | repo | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1169,6 +1169,10 @@ def main(orig_args): | |||
1169 | if my_main: | 1169 | if my_main: |
1170 | repo_main = my_main | 1170 | repo_main = my_main |
1171 | 1171 | ||
1172 | if not repo_main: | ||
1173 | print("fatal: unable to find repo entry point", file=sys.stderr) | ||
1174 | sys.exit(1) | ||
1175 | |||
1172 | ver_str = '.'.join(map(str, VERSION)) | 1176 | ver_str = '.'.join(map(str, VERSION)) |
1173 | me = [sys.executable, repo_main, | 1177 | me = [sys.executable, repo_main, |
1174 | '--repo-dir=%s' % rel_repo_dir, | 1178 | '--repo-dir=%s' % rel_repo_dir, |