diff options
author | Alexey Neyman <stilor@att.net> | 2018-12-01 22:44:53 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-01 22:44:53 (GMT) |
commit | c34fe6eec64351b07446eeb1e2265a60bd0dee21 (patch) | |
tree | 42a3c4ba9c15122edbd56fd30ca431af4b5c8fe6 /config | |
parent | dc681ec8eb53eccdd18521853abaf0574d6ae75f (diff) | |
parent | a4dc14dba4f13027684e456b6a21326dfc1bc3c5 (diff) |
Merge pull request #1103 from stilor/rmdir-in-ro-parent
Consider it success if DoForceRmdir removes only the content
Diffstat (limited to 'config')
-rw-r--r-- | config/configure.in.in | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/config/configure.in.in b/config/configure.in.in index f483f3b..a9bb8ad 100644 --- a/config/configure.in.in +++ b/config/configure.in.in @@ -9,12 +9,6 @@ config CONFIGURE_has_wget config CONFIGURE_has_curl @KCONFIG_curl@ -config CONFIGURE_has_stat_flavor_BSD - @KCONFIG_stat_flavor_BSD@ - -config CONFIGURE_has_stat_flavor_GNU - @KCONFIG_stat_flavor_GNU@ - config CONFIGURE_has_make_3_81_or_newer @KCONFIG_make_3_81_or_newer@ |