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 /erts/etc/common | |
| 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 'erts/etc/common')
| -rw-r--r-- | erts/etc/common/erlc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/erts/etc/common/erlc.c b/erts/etc/common/erlc.c index 0223cc5274..9f05213c95 100644 --- a/erts/etc/common/erlc.c +++ b/erts/etc/common/erlc.c @@ -335,7 +335,7 @@ main(int argc, char** argv) /* Push the following options: * o makedep_phony */ - buf = strsave("makedep_add_missing"); + buf = strsave("makedep_phony"); PUSH2("@option", buf); break; default: |