diff options
Diffstat (limited to 'database/mariadb/REPAIR^all^PRE_SUB_DEPENDS')
-rwxr-xr-x | database/mariadb/REPAIR^all^PRE_SUB_DEPENDS | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/database/mariadb/REPAIR^all^PRE_SUB_DEPENDS b/database/mariadb/REPAIR^all^PRE_SUB_DEPENDS new file mode 100755 index 0000000000..e5dae45060 --- /dev/null +++ b/database/mariadb/REPAIR^all^PRE_SUB_DEPENDS @@ -0,0 +1,20 @@ +case $THIS_SUB_DEPENDS in + embedded|EMBEDDED) if list_find "$MARIADB_OPTS" "--with-embedded-server" || \ + list_find "$MARIADB_OPTS" "-DWITH_EMBEDDED_SERVER=ON"; then + return 0 + fi + ;; + innodb|INNODB) if list_find "$MARIADB_ENGINES" "innodb_plugin" || \ + list_find "$MARIADB_ENGINES" "innobase" || \ + list_find "$MARIADB_ENGINES" "all"; then + return 0 + fi + ;; + NDB) if list_find "$MARIADB_ENGINES" "ndbcluster" || \ + list_find "$MARIADB_ENGINES" "all"; then + return 0 + fi + ;; +esac + +return 1 |