diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..0e79e47 --- /dev/null +++ b/Makefile @@ -0,0 +1,22 @@ +# Usage: +# make makefiles [name=value]... +# +# See makedefs for a description of available options. +# Examples: +# +# make makefiles +# make makefiles CC="purify cc" +# make makefiles CC=cc OPT= +# +SHELL = /bin/sh + +default: update + +update depend printfck clean tidy depend_update: Makefiles + $(MAKE) MAKELEVEL= $@ + +install upgrade: + @echo Please review the INSTALL instructions first. + +makefiles Makefiles: + $(MAKE) -f Makefile.in MAKELEVEL= Makefiles |