diff options
Diffstat (limited to 'Makefile.dist')
| -rw-r--r-- | Makefile.dist | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/Makefile.dist b/Makefile.dist new file mode 100644 index 0000000..e2145ee --- /dev/null +++ b/Makefile.dist @@ -0,0 +1,24 @@ +# Top-level distributed Makefile -*- makefile -*- + +# This Makefile is a stub (copied from Makefile.dist) which will run +# configure and then invoke the same target in the new Makefile created +# by configure. + +# Uncomment this variable if your make(1) doesn't set it automatically. +# +#MAKE=make + + +SHELL=/bin/sh + +all lib progs test install uninstall dep depend clean mostlyclean: config + $(MAKE) $@ + +distclean maintainer-clean TAGS: config + $(MAKE) $@ + +config: + sh configure + +.PHONY: all lib progs test install uninstall dep depend clean mostlyclean \ + distclean maintainer-clean config |