diff options
Diffstat (limited to 'build/myftw.c')
-rw-r--r-- | build/myftw.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/build/myftw.c b/build/myftw.c index b30ce6f24..c91b8c648 100644 --- a/build/myftw.c +++ b/build/myftw.c @@ -57,6 +57,7 @@ myftw_dir (DIR **dirs, int level, int descriptors, char *dir, size_t len, myftwFunc func, void *fl) + /*@*/ { int got; struct dirent *entry; @@ -127,9 +128,7 @@ myftw_dir (DIR **dirs, int level, int descriptors, else flag = MYFTW_F; - /*@-modunconnomods@*/ retval = (*func) (fl, dir, &s); - /*@=modunconnomods@*/ if (flag == MYFTW_D) { @@ -225,9 +224,7 @@ int myftw (const char *dir, len = strlen (dir); memcpy ((void *) buf, (void *) dir, len + 1); - /*@-modunconnomods@*/ retval = (*func) (fl, buf, &s); - /*@=modunconnomods@*/ if (flag == MYFTW_D) { |