bootstrap: Preserve options which should be sticky
tree255927bcfd20fc1a863f3839b49a21f282408977
-rw-r--r-- 4609 .appveyor.yml
-rw-r--r-- 4341 .clang-format
-rw-r--r-- 53 .gitignore
-rw-r--r-- 4217 .travis.yml
-rw-r--r-- 908 README
-rw-r--r-- 1833 Vagrantfile
-rwxr-xr-x 27074 bootstrap
drwxr-xr-x - config
drwxr-xr-x - patches
drwxr-xr-x - xapian-applications
drwxr-xr-x - xapian-bindings
drwxr-xr-x - xapian-core
drwxr-xr-x - xapian-data
drwxr-xr-x - xapian-letor
drwxr-xr-x - xapian-maintainer-tools