diff --git a/tasksetgen.py b/tasksetgen.py index 064d284..1b8c702 100755 --- a/tasksetgen.py +++ b/tasksetgen.py @@ -209,7 +209,7 @@ def main(): utilization = str(round(check_taskset(args.cores, taskset), 2)) utilization.replace('.', '_') - name = 'taskset_{}_{}_{}'.format(now.strftime('%Y_%m_%d'), + name = 'taskset_{}_{}_{}'.format(now.strftime('%Y_%m_%d_%H_%M_%S'), len(taskset), utilization) try: