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