diff options
author | Cedric Nugteren <web@cedricnugteren.nl> | 2016-02-28 16:31:31 +0100 |
---|---|---|
committer | Cedric Nugteren <web@cedricnugteren.nl> | 2016-02-28 16:31:31 +0100 |
commit | 610a31283bd6400b0f077941cea429d3caa6021c (patch) | |
tree | f486707b998148a8f3d52c0c5d701a02216f45a9 /scripts/database/database.py | |
parent | c457a70aa13d5a1bf20996f82f3684786d27581d (diff) | |
parent | 4a56822dcc7f723db0dc9a86fbb71abdd18cee31 (diff) |
Merge branch 'ger_routines' into development
Diffstat (limited to 'scripts/database/database.py')
-rw-r--r-- | 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 f2d47717..6f3ce85e 100644 --- a/scripts/database/database.py +++ b/scripts/database/database.py @@ -281,7 +281,7 @@ if len(glob.glob(glob_json)) >= 1: SaveDatabase(database, file_db) # Retrieves the best performing results -print("## Calculting the best results per device/kernel...") +print("## Calculating the best results per device/kernel...") bests = GetBestResults(database) # Determines the defaults for other vendors and per vendor |