|
|
| 749 |
env = bld.env |
749 |
env = bld.env |
| 750 |
|
750 |
|
| 751 |
if Options.options.check_profile: |
751 |
if Options.options.check_profile: |
| 752 |
print("Build profile: %s" % Options.options.build_profile) |
752 |
# Parse the waf lockfile generated by latest 'configure' operation |
|
|
753 |
lockfile = os.environ.get('WAFLOCK', '.lock-waf_%s_build' % sys.platform) |
| 754 |
profile = "not found" |
| 755 |
with open(lockfile, "r") as f: |
| 756 |
for line in f: |
| 757 |
if line.startswith("options ="): |
| 758 |
key, val = line.split('=') |
| 759 |
arr = val.split(',') |
| 760 |
for x in arr: |
| 761 |
optkey,optval = x.split(':') |
| 762 |
if (optkey.lstrip() == '\'build_profile\''): |
| 763 |
profile = str(optval.lstrip()).replace("'","") |
| 764 |
print("Build profile: %s" % profile) |
| 753 |
raise SystemExit(0) |
765 |
raise SystemExit(0) |
| 754 |
return |
766 |
return |
| 755 |
|
767 |
|