__init__.py (11403:e8949ea6961f) __init__.py (11923:d2f0605ac2af)
1# Copyright (c) 2016 ARM Limited
2# All rights reserved.
3#
4# The license below extends only to copyright in the software and shall
5# not be construed as granting a license to any other intellectual
6# property including but not limited to intellectual property relating
7# to a hardware implementation of the functionality of the software
8# licensed hereunder. You may use the software subject to the license
9# terms below provided that you ensure that this notice is replicated
10# unmodified and in its entirety in all distributions of the software,
11# modified or unmodified, in source code or in binary form.
12#
1# Copyright (c) 2008-2009 The Hewlett-Packard Development Company
2# Copyright (c) 2004-2006 The Regents of The University of Michigan
3# All rights reserved.
4#
5# Redistribution and use in source and binary forms, with or without
6# modification, are permitted provided that the following conditions are
7# met: redistributions of source code must retain the above copyright
8# notice, this list of conditions and the following disclaimer;

--- 181 unchanged lines hidden (view full) ---

190def makeDir(path):
191 """Make a directory if it doesn't exist. If the path does exist,
192 ensure that it is a directory"""
193 if os.path.exists(path):
194 if not os.path.isdir(path):
195 raise AttributeError, "%s exists but is not directory" % path
196 else:
197 os.mkdir(path)
13# Copyright (c) 2008-2009 The Hewlett-Packard Development Company
14# Copyright (c) 2004-2006 The Regents of The University of Michigan
15# All rights reserved.
16#
17# Redistribution and use in source and binary forms, with or without
18# modification, are permitted provided that the following conditions are
19# met: redistributions of source code must retain the above copyright
20# notice, this list of conditions and the following disclaimer;

--- 181 unchanged lines hidden (view full) ---

202def makeDir(path):
203 """Make a directory if it doesn't exist. If the path does exist,
204 ensure that it is a directory"""
205 if os.path.exists(path):
206 if not os.path.isdir(path):
207 raise AttributeError, "%s exists but is not directory" % path
208 else:
209 os.mkdir(path)
210
211def isInteractive():
212 """Check if the simulator is run interactively or in a batch environment"""
213
214 return sys.__stdin__.isatty()