| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index f96b03fba45b177be5b5294ceefdb9429a2f2621..5ce2735a4c51d4ff243ffeb3f9e1b8e637ce7d7c 100644
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -81,8 +81,9 @@ def Main(argv):
|
| if (os.path.basename(os.path.dirname(SDK)) !=
|
| utils.GetBuildConf('release', 'ia32')):
|
| print "SDK is not built in Debug mode."
|
| - # leave empty dir behind
|
| - os.makedirs(SDK)
|
| + if not os.path.exists(SDK):
|
| + # leave empty dir behind
|
| + os.makedirs(SDK)
|
| exit(0)
|
|
|
| if exists(SDK):
|
|
|