Add support for marking a option as deprecated.

10 jobs for 322-add-support-for-marking-options-as-deprecated in 8 minutes and 11 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Precheck
passed #17344
amd64 docker linux
precheck:debian:sid:amd64

00:00:11

 
  Build
passed #17345
amd64 docker linux
build:clang:debian:sid:amd64

00:02:57

passed #17347
i386 docker linux
build:clang:debian:sid:i386

00:03:14

passed #17346
amd64 docker linux
build:debian:sid:amd64

00:01:47

passed #17348
i386 docker linux
build:debian:sid:i386

00:01:49

 
  Test
passed #17352
amd64 docker linux
systemtest:debian:sid:amd64

00:04:40

passed #17353
i386 docker linux
systemtest:debian:sid:i386

00:04:43

passed #17350
amd64 docker linux
unittest:clang:debian:sid:amd64

00:00:47

passed #17349
amd64 docker linux
unittest:debian:sid:amd64

00:00:41

passed #17351
i386 docker linux
unittest:debian:sid:i386

00:00:46