diff options
| author | Dan Gudmundsson <[email protected]> | 2018-03-20 10:39:54 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-03-20 10:39:54 +0100 |
| commit | 01460976cfa3222f618ac494f462eccd0ba9a1c8 (patch) | |
| tree | 791cb8109d225afb03378938375a2e0a9f48f490 /lib/reltool/src/Makefile | |
| parent | afef67efa388512ff5c3023bb9f3401bb7e7885b (diff) | |
| parent | 3e0cecc541fc9cd85b4c5878e58a7ec4a3142368 (diff) | |
| download | otp-01460976cfa3222f618ac494f462eccd0ba9a1c8.tar.gz otp-01460976cfa3222f618ac494f462eccd0ba9a1c8.tar.bz2 otp-01460976cfa3222f618ac494f462eccd0ba9a1c8.zip | |
Merge pull request #1742 from michalmuskala/code-ensure-loaded
Short-circuit code:ensure_loaded for already-loaded modules
Diffstat (limited to 'lib/reltool/src/Makefile')
0 files changed, 0 insertions, 0 deletions