diff options
Diffstat (limited to 'scripts/database/database.py')
-rwxr-xr-x | scripts/database/database.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/database/database.py b/scripts/database/database.py index a2d9c6a0..6bd52760 100755 --- a/scripts/database/database.py +++ b/scripts/database/database.py @@ -147,6 +147,7 @@ def main(argv): if cl_args.remove_device is not None: print("[database] Removing all results for device '%s'" % cl_args.remove_device) remove_database_entries(database, {"clblast_device_name": cl_args.remove_device}) + #, "kernel_family": "xgemm"}) io.save_database(database, database_filename) # Adds new tuning parameters to existing database entries |