diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/Makefile b/Makefile index 972ef84a..96f67991 100644 --- a/Makefile +++ b/Makefile @@ -1,42 +1,42 @@ all: @echo trying to use GNU make... - -@gmake all + @gmake all || echo please install GNUmake source-only: - -@gmake source-only + @gmake source-only binary-only: - -@gmake binary-only + @gmake binary-only distrib: - -@gmake distrib + @gmake distrib man: - -@gmake man + @gmake man install: - -@gmake install + @gmake install document: - -@gmake document + @gmake document deepclean: - -@gmake deepclean + @gmake deepclean code-format: - -@gmake code-format + @gmake code-format help: - -@gmake help + @gmake help tests: - -@gmake tests + @gmake tests unit: - -@gmake unit + @gmake unit unit_clean: - -@gmake unit_clean + @gmake unit_clean clean: - -@gmake clean + @gmake clean |