| commit | 86b26afd71f766c4d23577b8369f2f46e2e6d0b1 | [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 | 2992cdeddd48daaebe3d8acb908cea25386e09d3 | |
| parent | bc89ed0f6dad573cd4bfab7dc02b2964536eea2b [diff] |
jenkins.sh: Remove non-existent configure options Change-Id: I331a187ae19125afa076e0a3d629ba7160d4b416