diff options
| author | Richard Carlsson <[email protected]> | 2012-03-08 07:50:06 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-07-10 10:30:30 +0200 |
| commit | 6dc42270b83fef1f2f975d2dc2d9fce3433347c0 (patch) | |
| tree | 75b56f4bf25c2d787a2bca27b5d307d9a9a111a2 /lib/public_key/doc | |
| parent | c075ac6484e3d5a93a0d870ab4483d39ae26eaec (diff) | |
| download | otp-6dc42270b83fef1f2f975d2dc2d9fce3433347c0.tar.gz otp-6dc42270b83fef1f2f975d2dc2d9fce3433347c0.tar.bz2 otp-6dc42270b83fef1f2f975d2dc2d9fce3433347c0.zip | |
Fix the erlc -MP flag
Because of a copy-and-paste error in erlc.c, the -MP flag had the same
effect as -MG. As a workaround, you had to pass +makedep_phony to enable
the MP option. This patch makes -MP work as intended.
Diffstat (limited to 'lib/public_key/doc')
0 files changed, 0 insertions, 0 deletions