diff options
| author | Lars Hjemli <hjemli@gmail.com> | 2010-06-19 11:41:32 +0200 |
|---|---|---|
| committer | Lars Hjemli <hjemli@gmail.com> | 2010-06-19 11:41:32 +0200 |
| commit | caf0825d97582d137387b8879867247e92cca022 (patch) | |
| tree | f330d875b3846467a2167ab83168b5b6cea29cdc | |
| parent | d6dc3aee9acadfe368864f24ea18ccd47bbb0b9b (diff) | |
| parent | 31ba37c0a44f152005fbb8ab49c05462fb741fd6 (diff) | |
Merge branch 'lh/noweb'
| -rw-r--r-- | scan-tree.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scan-tree.c b/scan-tree.c index dbca797..1e18f3c 100644 --- a/scan-tree.c +++ b/scan-tree.c @@ -56,6 +56,8 @@ static void add_repo(const char *base, const char *path, repo_config_fn fn) path, strerror(errno), errno); return; } + if (!stat(fmt("%s/noweb", path), &st)) + return; if ((pwd = getpwuid(st.st_uid)) == NULL) { fprintf(stderr, "Error reading owner-info for %s: %s (%d)\n", path, strerror(errno), errno); |