summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-10-03 21:10:46 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-10-03 21:10:46 (GMT)
commitcb1a6420e9355e5095788f425f72f78ed8e7df66 (patch)
treeac720b841badbaa9253f7eb47a9c97484e6b8af9 /config
parentddac60504f62c8d34d53cbd24b3f1dd5805483cd (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.in5
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!!!)"