diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2011-07-25 11:22:53 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2011-07-25 11:22:53 +0200 |
| commit | 902e82cf34208d5a86f7d0adc2c75aa50b783acb (patch) | |
| tree | 360c142a7bafe4ee0350adadf78f32875ad9440c | |
| parent | a40099c68f8d0f518a7594cdf296a566ec2e4207 (diff) | |
open_issues/gnumach_vm_map_entry_forward_merging: GCC build time using bash vs. dash.
| -rw-r--r-- | open_issues/gnumach_vm_map_entry_forward_merging.mdwn | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/open_issues/gnumach_vm_map_entry_forward_merging.mdwn b/open_issues/gnumach_vm_map_entry_forward_merging.mdwn index f1c8bd6e..90137766 100644 --- a/open_issues/gnumach_vm_map_entry_forward_merging.mdwn +++ b/open_issues/gnumach_vm_map_entry_forward_merging.mdwn @@ -182,6 +182,11 @@ License|/fdl]]."]]"""]] <braunr> for the same reasons (shadow objects being one of them) +# GCC build time using bash vs. dash + +<http://gcc.gnu.org/ml/gcc/2011-07/msg00444.html> + + # Procedure * Analyze. @@ -192,8 +197,4 @@ License|/fdl]]."]]"""]] * Measure again. - * Have [[tschwinge]] measure with gcc build (currently needs 11 h). - [[tschwinge]] will in the mean time figure out the difference between using - bash and dash. - * Have Samuel measure on the buildd. |