diff options
| author | Anders Svensson <[email protected]> | 2013-09-23 09:45:00 +0200 |
|---|---|---|
| committer | Anders Svensson <[email protected]> | 2013-11-28 17:27:27 +0100 |
| commit | da973668bcfee7cba0aa6e0c498fee4aa1b24cce (patch) | |
| tree | abe22ac0166ce795a5cf1815670ceb13c6c4c064 /lib/diameter/src/compiler/diameter_make.erl | |
| parent | a3fa81eafff105086cf3f0c942c5247686edac28 (diff) | |
| download | otp-da973668bcfee7cba0aa6e0c498fee4aa1b24cce.tar.gz otp-da973668bcfee7cba0aa6e0c498fee4aa1b24cce.tar.bz2 otp-da973668bcfee7cba0aa6e0c498fee4aa1b24cce.zip | |
Make forms a separate output from diameter_codegen
Instead of being output as a consequence of a debug option.
Diffstat (limited to 'lib/diameter/src/compiler/diameter_make.erl')
| -rw-r--r-- | lib/diameter/src/compiler/diameter_make.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/diameter/src/compiler/diameter_make.erl b/lib/diameter/src/compiler/diameter_make.erl index f77273d3a5..e4486973dd 100644 --- a/lib/diameter/src/compiler/diameter_make.erl +++ b/lib/diameter/src/compiler/diameter_make.erl @@ -61,7 +61,8 @@ codec(File, Opts) -> make(File, Opts, Dict, - [dict || lists:member(debug, Opts)] ++ [erl, hrl]); + lists:append([[dict, forms] || lists:member(debug, Opts)]) + ++ [erl, hrl]); {error, _} = E -> E end. |