pespin submitted this change.

View Change

jenkins.sh: use available Makefile, clean before building

The project needs to go through clean procedure to clean up the
generated diameter files, so that they are generated from newer dia
files again.

Change-Id: Id3f2d71c184cf387fa178d5138d401686a8d0a63
---
M contrib/jenkins.sh
1 file changed, 16 insertions(+), 3 deletions(-)

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 87eae34..a900a5c 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -1,5 +1,5 @@
 #!/bin/sh -ex
 
-rebar3 compile
-rebar3 escriptize
-rebar3 eunit
+make clean || true
+make
+make check

To view, visit change 36264. To unsubscribe, or for help writing mail filters, visit settings.