diff options
author | Cedric Nugteren <web@cedricnugteren.nl> | 2017-11-19 18:19:21 +0100 |
---|---|---|
committer | Cedric Nugteren <web@cedricnugteren.nl> | 2017-11-19 18:19:21 +0100 |
commit | defad3d1a249dd5f8c011cf28cc3c888d710d56a (patch) | |
tree | 92439d8bee44c34d63f288a73bdc372ba84dc42b /scripts/database | |
parent | 4e0d08c3bcf1816984934fcb211355590564615f (diff) |
Minor fix to the database script
Diffstat (limited to 'scripts/database')
-rwxr-xr-x | scripts/database/database.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/database/database.py b/scripts/database/database.py index 8f3ccce6..28f6ebf8 100755 --- a/scripts/database/database.py +++ b/scripts/database/database.py @@ -127,7 +127,7 @@ def main(argv): # Removes database entries before continuing 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": cl_args.remove_device}) + remove_database_entries(database, {"clblast_device_name": cl_args.remove_device}) io.save_database(database, database_filename) # Retrieves the best performing results |