diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-10-03 21:10:46 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-10-03 21:10:46 (GMT) |
commit | cb1a6420e9355e5095788f425f72f78ed8e7df66 (patch) | |
tree | ac720b841badbaa9253f7eb47a9c97484e6b8af9 /config | |
parent | ddac60504f62c8d34d53cbd24b3f1dd5805483cd (diff) |
complibs: better deduce whether to backup complibs or not
To decide whether we need to backup the companion libraries,
do not rely on the !shared case. In the future other cases
may require not to save the companion libraries (eg. if using
the ones provided by the host distro).
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Diffstat (limited to 'config')
-rw-r--r-- | config/companion_libs.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in index 4ad1fdd..a1f21e9 100644 --- a/config/companion_libs.in +++ b/config/companion_libs.in @@ -73,6 +73,11 @@ if COMPLIBS comment "Companion libraries common options" +config COMPLIBS_BACKUP + bool + default y + depends on ! COMPLIBS_SHARED + config COMPLIBS_CHECK bool prompt "Check the companion libraries builds (!!! READ HELP!!!)" |