diff options
Diffstat (limited to 'lib/dialyzer/src/Makefile')
| -rw-r--r-- | lib/dialyzer/src/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/dialyzer/src/Makefile b/lib/dialyzer/src/Makefile index 39b1b3eb3e..09fb02bda2 100644 --- a/lib/dialyzer/src/Makefile +++ b/lib/dialyzer/src/Makefile @@ -63,6 +63,7 @@ MODULES = \ dialyzer_plt \ dialyzer_races \ dialyzer_succ_typings \ + dialyzer_timing \ dialyzer_typesig \ dialyzer_coordinator \ dialyzer_worker \ |