Make sure projects_to_filter is not None
Make sure projects_to_filter is not None

Fixes doctests


Former-commit-id: 8651aa85eade642226df3c9f08c0f976a0e79e25
Former-commit-id: bc4bfce75627b5ec75273bb0ae0cfe0b86e17ea9 [formerly edc5c8d0f63bac4e1b93d4df00f3f10603d95f34] [formerly e6d69d05598008f8546870e4daa34c06c35484b9 [formerly 11bc743499758d3b90b8ef8d6a11e0157293406b]]
Former-commit-id: c1ccb75e475b72f17019ff6ea29ae50654a0982d [formerly 94a40b0f80ecf836326e192da9b5f154c1706fe0]
Former-commit-id: 32ed08e66361d62bc87a6021295b83e59a85a0bc
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild