diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index ecc475b3..00b357f9 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -199,6 +199,7 @@ performance-test: source-only @cd test ; ./test-performance.sh +# hint: make targets are also listed in the top level README.md help: @echo "HELP --- the following make targets exist:" @echo "==========================================" |