kconfig2sat: Fix single-diff problem generation

[linux-conf-perf.git] / scripts / database.py

diff --git a/scripts/database.py b/scripts/database.py
index a41d7039d43e4f5588d329d75037d006d5561975..58fdf9ecf0b525bb1d0e898382a6326287f7797a 100644 (file)
--- a/scripts/database.py
+++ b/scripts/database.py
@@ -130,6 +130,9 @@ class database:
 
        def get_unmeasured(self):
                "Returns list of all unmeasured configurations."
+               # FIXME: Take into account case when we want the same
+               # configuration for either different experiment or kernel
+               # version or target.
                ps = self.db.prepare("""SELECT id, hash, config FROM configurations
                                                                WHERE id NOT IN
                                                                (SELECT conf FROM measure)