| changeset 79874 | 1e7b5a258bc5 |
| parent 79777 | db9c6be8e236 |
| child 79887 | 17220dc05991 |
| 79873:6c19c29ddcbe | 79874:1e7b5a258bc5 |
|---|---|
1 /* Title: Pure/System/build_benchmark.scala |
1 /* Title: Pure/Build/build_benchmark.scala |
2 Author: Fabian Huch, TU Muenchen |
2 Author: Fabian Huch, TU Muenchen |
3 |
3 |
4 Host platform benchmarks for performance estimation. |
4 Host platform benchmarks for performance estimation. |
5 */ |
5 */ |
6 |
6 |