summaryrefslogtreecommitdiff
path: root/configs/common
diff options
context:
space:
mode:
Diffstat (limited to 'configs/common')
-rw-r--r--configs/common/PlatformConfig.py7
1 files changed, 5 insertions, 2 deletions
diff --git a/configs/common/PlatformConfig.py b/configs/common/PlatformConfig.py
index 3541c07fb..e2589c058 100644
--- a/configs/common/PlatformConfig.py
+++ b/configs/common/PlatformConfig.py
@@ -1,6 +1,8 @@
# Copyright (c) 2012, 2015 ARM Limited
# All rights reserved.
#
+# Copyright (c) 2017, Centre National de la Recherche Scientifique (CNRS)
+#
# The license below extends only to copyright in the software and shall
# not be construed as granting a license to any other intellectual
# property including but not limited to intellectual property relating
@@ -34,10 +36,12 @@
# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
#
# Authors: Andreas Sandberg
+# Pierre-Yves Peneau
import m5.objects
import inspect
import sys
+from m5.util import fatal
from textwrap import TextWrapper
# Dictionary of mapping names of real CPU models to classes.
@@ -74,8 +78,7 @@ def get(name):
try:
return _platform_classes[real_name]
except KeyError:
- print "%s is not a valid Platform model." % (name,)
- sys.exit(1)
+ fatal("%s is not a valid Platform model." % (name,))
def print_platform_list():
"""Print a list of available Platform classes including their aliases."""