Merge 1a4857cde6
into 0ddef6ed96
commit
6a4660d501
|
@ -20,11 +20,13 @@ except:
|
||||||
env.PrependENVPath("PATH", os.getenv("PATH"))
|
env.PrependENVPath("PATH", os.getenv("PATH"))
|
||||||
|
|
||||||
# Custom options and profile flags.
|
# Custom options and profile flags.
|
||||||
customs = ["custom.py"]
|
|
||||||
try:
|
try:
|
||||||
customs += Import("customs")
|
Import("customs")
|
||||||
except:
|
except:
|
||||||
pass
|
customs = []
|
||||||
|
customs += ["custom.py"]
|
||||||
|
|
||||||
profile = ARGUMENTS.get("profile", "")
|
profile = ARGUMENTS.get("profile", "")
|
||||||
if profile:
|
if profile:
|
||||||
if os.path.isfile(profile):
|
if os.path.isfile(profile):
|
||||||
|
|
Loading…
Reference in New Issue