FWGS
/
waf
mirror of https://gitlab.com/ita1024/waf.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge branch 'master' of https://code.google.com/p/waf

This commit is contained in:
Thomas Nagy 2012-09-27 21:08:37 +02:00
parent b52d97adff c62073538b
commit 9c7c864fcc
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'