diff --git a/src/kernel/CMakeLists.txt b/src/kernel/CMakeLists.txt
index 4050ead55..9e5a38ed2 100644
--- a/src/kernel/CMakeLists.txt
+++ b/src/kernel/CMakeLists.txt
@@ -38,11 +38,9 @@ SET(_DBFILES db/critbit.c)
 
 IF(DB_FOUND)
 SET(_DBFILES db/berkeley.c)
-ENDIF(DB_FOUND)
-
-IF(SQLITE3_FOUND)
+ELSEIF(SQLITE3_FOUND)
 SET(_DBFILES db/sqlite.c)
-ENDIF(SQLITE3_FOUND)
+ENDIF(DB_FOUND)
 
 SET(_FILES
 ${_DBFILES}