diff options
author | Cedric Nugteren <web@cedricnugteren.nl> | 2017-11-19 20:05:15 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-19 20:05:15 +0100 |
commit | da76d7ab81555452a1049eb1a6d130073427067d (patch) | |
tree | 92439d8bee44c34d63f288a73bdc372ba84dc42b /scripts/database/database.py | |
parent | c41d219ea42087c1b8d933b733b381005123cb91 (diff) | |
parent | defad3d1a249dd5f8c011cf28cc3c888d710d56a (diff) |
Merge pull request #216 from CNugteren/integrated_tuner
Integrated tuner
Diffstat (limited to 'scripts/database/database.py')
-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 |