diff options
Diffstat (limited to 'config/depend2.in')
| -rw-r--r-- | config/depend2.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/config/depend2.in b/config/depend2.in new file mode 100644 index 0000000..f67914f --- /dev/null +++ b/config/depend2.in @@ -0,0 +1,11 @@ +## -*- makefile -*- + +## This platform doesn't support automatic dependencies because we're +## not using GNU gcc. GNU gcc is needed in order to generate the list +## of header files included by a source file. + +## Since automatic dependencies are not being used, we attempt to include the +## `.distdep' file from the source tree. This file was automatically generated +## on some system that satisfies the above requirements. + +-include $(srcdir)/Dependencies |