misc: Merge branch 'release-staging-v20.1.0.0' into develop

Change-Id: I3694b251855b969c7bd3807f34e1b4241d47d586
2020-09-30 20:39:06 -07:00
parent dcf242d838 090fa08c14
commit d0772a0bfe
33 changed files with 198 additions and 91 deletions
--- a/ext/testlib/configuration.py
+++ b/ext/testlib/configuration.py
@@ -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/develop'
+    defaults.resource_url = 'http://dist.gem5.org/dist/v20-1'
    defaults.resource_path = os.path.abspath(os.path.join(defaults.base_dir,
                                            'tests',
                                            'gem5',