commit | c5ad8f8a965dcddcca7189dec155d96502c5ebb8 | [log] [tgz] |
---|---|---|
author | Pau Espin Pedrol <pespin@sysmocom.de> | Wed Jun 20 23:49:36 2018 +0200 |
committer | Pau Espin Pedrol <pespin@sysmocom.de> | Wed Jun 20 23:49:36 2018 +0200 |
tree | d7bc8b27208b5aec9ca02e43e087a3b415429c39 | |
parent | 917c987f81e19c80028faf2cd82bc91fda7240ea [diff] |
jenkins.sh: Remove non-existent configure options Change-Id: I331a187ae19125afa076e0a3d629ba7160d4b416