diff options
Diffstat (limited to 'src/engine/SCons/Platform/cygwin.py')
| -rw-r--r-- | src/engine/SCons/Platform/cygwin.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/engine/SCons/Platform/cygwin.py b/src/engine/SCons/Platform/cygwin.py index 7faafd8..6a21ae9 100644 --- a/src/engine/SCons/Platform/cygwin.py +++ b/src/engine/SCons/Platform/cygwin.py @@ -32,6 +32,10 @@ selection method. __revision__ = "__FILE__ __REVISION__ __DATE__ __DEVELOPER__" +def tool_list(): + return ['ar', 'dvipdf', 'dvips', 'g++', 'g77', 'gcc', 'latex', 'lex', + 'pdflatex', 'pdftex', 'tex', 'yacc', 'gnulink' ] + def generate(env): if not env.has_key('ENV'): env['ENV'] = {} |