misc: Changed gem5 version info for gem5 20.2 dev
Change-Id: I34505c054f1ec83f5da169bfde90702f3da3917e Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/35439 Tested-by: kokoro <noreply+kokoro@google.com> Reviewed-by: Bobby R. Bruce <bbruce@ucdavis.edu> Maintainer: Bobby R. Bruce <bbruce@ucdavis.edu>
This commit is contained in:
@@ -214,7 +214,7 @@ def define_defaults(defaults):
|
||||
os.pardir,
|
||||
os.pardir))
|
||||
defaults.result_path = os.path.join(os.getcwd(), 'testing-results')
|
||||
defaults.resource_url = 'http://dist.gem5.org/dist/v20-1'
|
||||
defaults.resource_url = 'http://dist.gem5.org/dist/develop'
|
||||
defaults.resource_path = os.path.abspath(os.path.join(defaults.base_dir,
|
||||
'tests',
|
||||
'gem5',
|
||||
|
||||
Reference in New Issue
Block a user