diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-04T21·24+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-04T21·24+0000 |
| commit | 35f2a6ba82419d48ed8ebce7b8c3e74e65ac74f2 (patch) | |
| tree | eae7ae96104e0d68de31efa9a31a9d75b8c05129 /doc/Makefile.am | |
| parent | adaf64a99b0a882249e35768c3f4fe3de104cbb2 (diff) | |
* Don't use dynamic_cast, it's very slow. "nix-instantiate
/etc/nixos/nixos -A system" spent about 10% of its time in dynamic_cast.
Diffstat (limited to 'doc/Makefile.am')
0 files changed, 0 insertions, 0 deletions