tree 2992cdeddd48daaebe3d8acb908cea25386e09d3
parent bc89ed0f6dad573cd4bfab7dc02b2964536eea2b
author Pau Espin Pedrol <pespin@sysmocom.de> 1529531376 +0200
committer Pau Espin Pedrol <pespin@sysmocom.de> 1529531376 +0200

jenkins.sh: Remove non-existent configure options

Change-Id: I331a187ae19125afa076e0a3d629ba7160d4b416