From 902e82cf34208d5a86f7d0adc2c75aa50b783acb Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@schwinge.name>
Date: Mon, 25 Jul 2011 11:22:53 +0200
Subject: open_issues/gnumach_vm_map_entry_forward_merging: GCC build time
 using bash vs. dash.

---
 open_issues/gnumach_vm_map_entry_forward_merging.mdwn | 9 +++++----
 1 file 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.
-- 
cgit v1.2.3