Makefile, bin/chroot-maint: Keep `/usr/local/include' mostly empty.

[distorted-chroot] / bin / chroot-maint

diff --git a/bin/chroot-maint b/bin/chroot-maint
index 4dba315b3e5f03ba56760dfb747bc869a86ca90f..21e5c215bdc8e8f9f64682ee05127e8bda9c1cc3 100755 (executable)
--- a/bin/chroot-maint
+++ b/bin/chroot-maint
@@ -2669,6 +2669,11 @@ class PackageBuildJob (BaseJob):
       run_schroot_session(session,
                           ["mount", "-oremount,rw", "/usr/local.schroot"],
                           rootp = True, stdin = DISCARD)
+      run_schroot_session(session,
+                          ["mount", "--bind",
+                           "/usr/local.schroot/%s/include.aside" % arch,
+                           "/usr/local.schroot/%s/include" % arch],
+                          rootp = True, stdin = DISCARD)
 
       progress("configure `%s' %s for %s" % (pkg, ver, arch))
       run_schroot_session(session, ["sh", "-e", "-c", """