diff options
| -rw-r--r-- | tools/makefile.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/makefile.py b/tools/makefile.py index 97001892c9..78dbd2228a 100644 --- a/tools/makefile.py +++ b/tools/makefile.py @@ -51,11 +51,11 @@ def TargetMakefile(env): if 'CXXFLAGS' in dir(rtconfig): make.write('CXXFLAGS :=%s' % (rtconfig.CXXFLAGS)) make.write('\n') - if env.has_key('LIBS'): + if ('LIBS' in env): make.write('EXTERN_LIB := ') for tlib in env['LIBS']: make.write('-l%s ' % (tlib)) - if env.has_key('LIBPATH'): + if ('LIBPATH' in env): for tlibpath in env['LIBPATH']: make.write('-L%s ' % (tlibpath)) make.write('\n') |