docker: Pass extra options to configure
[petitboot] / docker /
drwxr-xr-x   ..
-rw-r--r-- 387 Dockerfile.builder
-rw-r--r-- 831 README.md
-rwxr-xr-x 2896 build-builder
-rwxr-xr-x 2664 build-pb
-rw-r--r-- 810 builder-include