diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/dom/makefile.in | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/dom/makefile.in b/src/dom/makefile.in new file mode 100644 index 000000000..857ab7c66 --- /dev/null +++ b/src/dom/makefile.in @@ -0,0 +1,17 @@ +# 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)
|