tree 6acc900b1af6e0e90262299bc1287f529ce75b9d
parent 867fc37c175f69427a8f484f6978092000cac9fc
author Roberto Bampi <gigaroby@users.noreply.github.com> 1659703670 +0200
committer GitHub <noreply@github.com> 1659703670 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJi7RF2CRBK7hj4Ov3rIwAA0DgIAIMSH4M6kxUH6NlJJG5s45zm
 xo8Uh+w2W2eHPIBjkmc1S5TqUEsjrWzb/xvcxx6l5TgVRc4LJMK4Y8rM/19GAsh+
 63ZwWhgWA4fexq97xOawJtOQ2e2aQpd3cUDjFxHqIlgC+rMbvA6Sdb6vXi8RYbGi
 xH9RwW36/hMfuLZP0SXaxwxjs4rDRKIYsp/MIYfDEclfP3rZLXO/3I6FFuRhjibd
 DGnD1WjXncpcIVmqzhEYdgdhdH58PcTRd2lP/IfTrcUYWbGehYzONBwMUTjuLBkl
 kfPAAgvC1sJ1t9hd9en/tqT+6wGXp36ZSwAljFJYY+38m4MzmSWszn9St7tBMa4=
 =118Z
 -----END PGP SIGNATURE-----
 

pipelining: add the ability to disable pipelining for a single rule. (#1499)

While testing internally we found some non-hermetic libraries have
issues with pipelining enabled, adding a per-rule switch allows us to
keep the feature generally enabled while disabling problematic targets.