diff options
| author | Pau Espin Pedrol <pespin@sysmocom.de> | 2018-06-20 23:49:36 +0200 |
|---|---|---|
| committer | Pau Espin Pedrol <pespin@sysmocom.de> | 2018-06-20 23:49:36 +0200 |
| commit | c5ad8f8a965dcddcca7189dec155d96502c5ebb8 (patch) | |
| tree | d7bc8b27208b5aec9ca02e43e087a3b415429c39 /include | |
| parent | 917c987f81e19c80028faf2cd82bc91fda7240ea (diff) | |
jenkins.sh: Remove non-existent configure options
Change-Id: I331a187ae19125afa076e0a3d629ba7160d4b416
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions