diff options
author | Björn Gustavsson <[email protected]> | 2016-03-10 15:36:04 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2016-03-17 10:20:00 +0100 |
commit | c3c61822727939b8cad8f9a132602ac015820b93 (patch) | |
tree | 69ab7fdff89ed665d1936cfb12f9d9b933d671cd /lib/public_key/Makefile | |
parent | 46aed30f8afbddd31f82e9b7a50a536a295f5eaa (diff) | |
download | otp-c3c61822727939b8cad8f9a132602ac015820b93.tar.gz otp-c3c61822727939b8cad8f9a132602ac015820b93.tar.bz2 otp-c3c61822727939b8cad8f9a132602ac015820b93.zip |
systools_make: Add commonly used modules to mandatory_modules/0
Add commonly used modules to the list of modules in
mandatory_modules/0. Having those modules listed will potentially
help the 'init' module to load them in parallel during start-up.
Diffstat (limited to 'lib/public_key/Makefile')
0 files changed, 0 insertions, 0 deletions