diff options
Diffstat (limited to 'src/extension/plugin/makefile.in')
| -rw-r--r-- | src/extension/plugin/makefile.in | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/extension/plugin/makefile.in b/src/extension/plugin/makefile.in new file mode 100644 index 000000000..9de8caf05 --- /dev/null +++ b/src/extension/plugin/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) extension/plugin/all + +clean %.a %.o: + cd ../.. && $(MAKE) extension/plugin/$@ + +.PHONY: all clean + +OBJEXT = @OBJEXT@ + +.SUFFIXES: +.SUFFIXES: .a .$(OBJEXT) |