diff options
| author | Fredrik Gustafsson <[email protected]> | 2012-08-24 14:32:10 +0200 |
|---|---|---|
| committer | Fredrik Gustafsson <[email protected]> | 2012-08-24 14:32:10 +0200 |
| commit | 9997bcfb630d860b9eeae29a08d953dc9afea01f (patch) | |
| tree | b485a504c8f97154e88d43e44ade2dfc91ecb2e8 /erts/etc | |
| parent | 7bb7e63fbada714655f0860a2d1daacbdc0d4712 (diff) | |
| parent | be7dd864c1c3be162a6963b6d2bad4092c0682a9 (diff) | |
| download | otp-9997bcfb630d860b9eeae29a08d953dc9afea01f.tar.gz otp-9997bcfb630d860b9eeae29a08d953dc9afea01f.tar.bz2 otp-9997bcfb630d860b9eeae29a08d953dc9afea01f.zip | |
Merge branch 'maint'
* maint:
Fix the erlc -MP flag
Diffstat (limited to 'erts/etc')
| -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: |