diff options
Diffstat (limited to 'make/otp_subdir.mk')
| -rw-r--r-- | make/otp_subdir.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/otp_subdir.mk b/make/otp_subdir.mk index 07294c272d..f31ab05c87 100644 --- a/make/otp_subdir.mk +++ b/make/otp_subdir.mk @@ -19,12 +19,12 @@ # Make include file for otp .PHONY: debug opt release docs release_docs tests release_tests \ - clean depend valgrind + clean depend valgrind static_lib # # Targets that don't affect documentation directories # -opt debug release docs release_docs tests release_tests clean depend valgrind: +opt debug release docs release_docs tests release_tests clean depend valgrind static_lib: @set -e ; \ app_pwd=`pwd` ; \ if test -f vsn.mk; then \ |