diff options
author | Dan Gudmundsson <[email protected]> | 2017-05-03 15:02:08 +0200 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2017-05-03 15:02:08 +0200 |
commit | 95e22b101b73087630fd58ae2487a91fcf004334 (patch) | |
tree | b8e4a8504dca074de410f93f93d6e58fb4cc4d8f /lib/mnesia/src/Makefile | |
parent | 97b0d768edd96f527238403b1b4d2658b3506eed (diff) | |
parent | d15ff3f296f8b399c4c3750ca47683998bfbc808 (diff) | |
download | otp-95e22b101b73087630fd58ae2487a91fcf004334.tar.gz otp-95e22b101b73087630fd58ae2487a91fcf004334.tar.bz2 otp-95e22b101b73087630fd58ae2487a91fcf004334.zip |
Merge branch 'dgud/mnesia/snmp-sup'
* dgud/mnesia/snmp-sup:
mnesia: Remove not used mnesia_snmp_sup
Do not call which_applications()
Diffstat (limited to 'lib/mnesia/src/Makefile')
-rw-r--r-- | lib/mnesia/src/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/mnesia/src/Makefile b/lib/mnesia/src/Makefile index b68fc7d3d0..3454d9705f 100644 --- a/lib/mnesia/src/Makefile +++ b/lib/mnesia/src/Makefile @@ -67,7 +67,6 @@ MODULES= \ mnesia_registry \ mnesia_schema\ mnesia_snmp_hook \ - mnesia_snmp_sup \ mnesia_subscr \ mnesia_sup \ mnesia_sp \ |