diff options
| author | Rickard Green <[email protected]> | 2014-02-23 20:04:30 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2014-02-23 20:04:30 +0100 |
| commit | b2017b91a5572f7bc2caf15082b4b105f3a3e21d (patch) | |
| tree | 4f4ea3d654467043895a613b45b40f27f1a9d476 /plt/.gitignore | |
| parent | db911c1f15372d2dadf06e8502506b0936a4fbb3 (diff) | |
| download | otp-b2017b91a5572f7bc2caf15082b4b105f3a3e21d.tar.gz otp-b2017b91a5572f7bc2caf15082b4b105f3a3e21d.tar.bz2 otp-b2017b91a5572f7bc2caf15082b4b105f3a3e21d.zip | |
Introduce configure option --with-assumed-cache-line-size=SIZE
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions