FWGS/waf
2
0
Fork 0
mirror of https://gitlab.com/ita1024/waf.git synced 2024-11-26 11:51:20 +01:00
Code Issues Projects Releases Wiki Activity

The fsc tool should set FS_NAME, not CS_NAME.

Browse Source
This commit is contained in:
alexrp 2012-09-27 14:47:41 +02:00
parent 4c23f80a7c
commit c62073538b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
waflib/extras/fsc.py
View File

@ -60,7 +60,7 @@ def configure(conf):
conf.env.ASS_ST = '/r:%s'
conf.env.RES_ST = '/resource:%s'
conf.env.CS_NAME = 'fsc'
conf.env.FS_NAME = 'fsc'
if str(conf.env.FSC).lower().find('fsharpc') > -1:
conf.env.CS_NAME = 'mono'
conf.env.FS_NAME = 'mono'