Use the new syntax for GENERIC.
This commit is contained in:
parent
29777b413b
commit
8cc56e0ecb
@ -12,7 +12,7 @@ logdir = %%HOME%%/logs
|
||||
|
||||
# Tinderbox options
|
||||
options = --verbose
|
||||
targets = cleanobj, update, world, generic, lint
|
||||
targets = cleanobj, update, world, lint, kernel:GENERIC
|
||||
#timeout = 7200
|
||||
|
||||
# Reporting
|
||||
|
Loading…
Reference in New Issue
Block a user