OLD | NEW |
1 # $Id: Makefile.inc 2084 2008-05-09 07:08:17Z peter $ | |
2 | |
3 EXTRA_DIST += tools/re2c/Makefile.inc | 1 EXTRA_DIST += tools/re2c/Makefile.inc |
4 EXTRA_DIST += tools/genmacro/Makefile.inc | 2 EXTRA_DIST += tools/genmacro/Makefile.inc |
5 EXTRA_DIST += tools/genperf/Makefile.inc | 3 EXTRA_DIST += tools/genperf/Makefile.inc |
6 EXTRA_DIST += tools/python-yasm/Makefile.inc | 4 EXTRA_DIST += tools/python-yasm/Makefile.inc |
7 | 5 |
8 include tools/re2c/Makefile.inc | 6 include tools/re2c/Makefile.inc |
9 include tools/genmacro/Makefile.inc | 7 include tools/genmacro/Makefile.inc |
10 include tools/genperf/Makefile.inc | 8 include tools/genperf/Makefile.inc |
11 include tools/python-yasm/Makefile.inc | 9 include tools/python-yasm/Makefile.inc |
OLD | NEW |