diff options
Diffstat (limited to 'src/dom/makefile.in')
| -rw-r--r-- | src/dom/makefile.in | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/dom/makefile.in b/src/dom/makefile.in deleted file mode 100644 index 1e0b42977..000000000 --- a/src/dom/makefile.in +++ /dev/null @@ -1,17 +0,0 @@ -# Convenience stub makefile to call the real Makefile. - -@SET_MAKE@ - -# Explicit so that it's the default rule. -all: - cd .. && $(MAKE) dom/all - -clean %.a %.o: - cd .. && $(MAKE) dom/$@ - -.PHONY: all clean - -OBJEXT = @OBJEXT@ - -.SUFFIXES: -.SUFFIXES: .a .$(OBJEXT) |