diff options
Diffstat (limited to 'src/Makefile.in')
| -rw-r--r-- | src/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 23dfa2e47..9ab219c0d 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -22,6 +22,10 @@ ifdef ejabberd_debug ERLC_FLAGS+=-Dejabberd_debug endif +ifeq (@hipe@, true) + ERLC_FLAGS+=+native +endif + ifeq (@roster_gateway_workaround@, true) ERLC_FLAGS+=-DROSTER_GATEWAY_WORKAROUND endif |