aboutsummaryrefslogtreecommitdiffstats
path: root/erts
diff options
context:
space:
mode:
authorRichard Carlsson <[email protected]>2012-03-08 07:50:06 +0100
committerHenrik Nord <[email protected]>2012-07-10 10:30:30 +0200
commit6dc42270b83fef1f2f975d2dc2d9fce3433347c0 (patch)
tree75b56f4bf25c2d787a2bca27b5d307d9a9a111a2 /erts
parentc075ac6484e3d5a93a0d870ab4483d39ae26eaec (diff)
downloadotp-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')
-rw-r--r--erts/etc/common/erlc.c2
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: