mirror of
https://github.com/mongodb/mongo.git
synced 2024-11-30 00:56:44 +01:00
13 lines
325 B
Python
13 lines
325 B
Python
import os
|
|
|
|
def exists(env):
|
|
return env.Detect('xcrun')
|
|
|
|
def generate(env):
|
|
if not exists(env):
|
|
return
|
|
|
|
if 'DEVELOPER_DIR' in os.environ:
|
|
env['ENV']['DEVELOPER_DIR'] = os.environ['DEVELOPER_DIR']
|
|
print "NOTE: Xcode detected; propagating DEVELOPER_DIR from shell environment to subcommands"
|