mirror of
https://github.com/mongodb/mongo.git
synced 2024-11-30 00:56:44 +01:00
17 lines
350 B
Python
17 lines
350 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"
|
|
)
|