diff options
author | 2018-02-02 06:16:05 (GMT) | |
---|---|---|
committer | 2018-02-02 06:16:05 (GMT) | |
commit | fd9fe523b22cb6281f26081232a3f8f3aee7fda1 (patch) | |
tree | 9851733e0973e1de900d7f932e5b88fe637441f3 /config/configure.in.in | |
parent | ba165ed4c0bfa8a83e61a2efd1ad205777978486 (diff) | |
parent | 36bb675a71cc66a2abd69bc82d613f2153d3791f (diff) |
Merge pull request #904 from stilor/upgrade
A bunch of upgrades
Diffstat (limited to 'config/configure.in.in')
-rw-r--r-- | config/configure.in.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config/configure.in.in b/config/configure.in.in index aaebbde..3560336 100644 --- a/config/configure.in.in +++ b/config/configure.in.in @@ -44,3 +44,6 @@ config CONFIGURE_has_svn config CONFIGURE_has_git @KCONFIG_git@ + +config CONFIGURE_has_install_with_strip_program + @KCONFIG_install_with_strip_program@ |