diff options
| author | Björn Gustavsson <[email protected]> | 2011-07-03 08:15:02 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2011-08-08 13:13:54 +0200 |
| commit | fe9c1a041aa3a8d6ab45623050db15de8d311085 (patch) | |
| tree | 709f10f83e98e06fd14c183a9f0647a019620ec5 /lib/ic/examples/pre_post_condition | |
| parent | f387b628694c98982568b8fcb112dba855767bea (diff) | |
| download | otp-fe9c1a041aa3a8d6ab45623050db15de8d311085.tar.gz otp-fe9c1a041aa3a8d6ab45623050db15de8d311085.tar.bz2 otp-fe9c1a041aa3a8d6ab45623050db15de8d311085.zip | |
ic: Support parallel make
Diffstat (limited to 'lib/ic/examples/pre_post_condition')
| -rw-r--r-- | lib/ic/examples/pre_post_condition/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/ic/examples/pre_post_condition/Makefile b/lib/ic/examples/pre_post_condition/Makefile index 68e2168e1e..85cbbdb9ff 100644 --- a/lib/ic/examples/pre_post_condition/Makefile +++ b/lib/ic/examples/pre_post_condition/Makefile @@ -108,9 +108,14 @@ docs: test: $(TEST_TARGET_FILES) -$(GEN_ERL_MODULES:%=%.erl) $(GEN_HRL_FILES): ex.idl +IDL-GENERATED: ex.idl erlc $(ERL_LOCAL_FLAGS) +'{precond,{tracer,pre}}' \ +'{{postcond,"m::i::f"},{tracer,post}}' ex.idl + >IDL-GENERATED + +$(GEN_ERL_MODULES:%=%.erl) $(GEN_HRL_FILES): IDL-GENERATED + +$(TARGET_FILES): IDL-GENERATED # ---------------------------------------------------- # Release Target |