summaryrefslogtreecommitdiff
path: root/lib/public_key
diff options
context:
space:
mode:
authorKjell Winblad <kjellwinblad@gmail.com>2019-06-26 08:31:19 +0200
committerKjell Winblad <kjellwinblad@gmail.com>2019-06-26 08:31:19 +0200
commit14944c65bada76cf246f885f7a146c7fd54cb3df (patch)
treeda9368f155f49924d15db82506bfe0d9c8b26ffa /lib/public_key
parentc59148c2995d5ac63094ab2e39682f47671ee37e (diff)
parent2f246b551cca5ca7ca9187282e42650976a65cbb (diff)
downloaderlang-14944c65bada76cf246f885f7a146c7fd54cb3df.tar.gz
Merge branch 'kjell/make_test/OTP-15812'
Diffstat (limited to 'lib/public_key')
-rw-r--r--lib/public_key/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/public_key/Makefile b/lib/public_key/Makefile
index 7a5c1c1443..3b6cb3ce6c 100644
--- a/lib/public_key/Makefile
+++ b/lib/public_key/Makefile
@@ -38,3 +38,4 @@ SPECIAL_TARGETS =
# ----------------------------------------------------
include $(ERL_TOP)/make/otp_subdir.mk
+include $(ERL_TOP)/make/app_targets.mk