diff options
author | 2015-04-05 21:43:34 +0200 | |
---|---|---|
committer | 2015-04-05 21:43:34 +0200 | |
commit | d8f3b67eae2773139a2da49ae92066a98c7235d6 (patch) | |
tree | bdb8818f66326f99adf24a4cd8ef2120ffa06ee4 /scripts/genie.lua | |
parent | ebd39dcc793f058d1f0ab6ced4d724677fa81133 (diff) | |
parent | 4b7015d089e992813c9af4627039f44685fa054f (diff) |
Merge branch 'master' of https://github.com/mamedev/mame
Diffstat (limited to 'scripts/genie.lua')
-rw-r--r-- | scripts/genie.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/genie.lua b/scripts/genie.lua index 6bc36add568..9287d43cdc7 100644 --- a/scripts/genie.lua +++ b/scripts/genie.lua @@ -404,7 +404,7 @@ configuration { "Debug" } defines { "MAME_DEBUG", } - if _OPTIONS["PROFILER"] then + if _OPTIONS["PROFILER"]=="1" then defines{ "MAME_PROFILER", -- define MAME_PROFILER if we are a profiling build } |