From e0f350c7d6e3af901097e43fe2c1bc0efb237f60 Mon Sep 17 00:00:00 2001 From: Andrew Engelbrecht Date: Wed, 3 Aug 2011 19:45:28 -0400 Subject: rename build directories to 'build' --- microkernel/mach/gnumach/building.mdwn | 4 ++-- microkernel/mach/mig/gnu_mig/building.mdwn | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'microkernel') diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index f4c59d9f..490c5497 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -67,8 +67,8 @@ First, create the configuartion files: GNU Mach and its headers should be built in a subdirectory: - $ mkdir gnumach-build - $ cd gnumach-build + $ mkdir build + $ cd build Run configure: diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn index d5268221..4d4be660 100644 --- a/microkernel/mach/mig/gnu_mig/building.mdwn +++ b/microkernel/mach/mig/gnu_mig/building.mdwn @@ -63,8 +63,8 @@ First, generate the configuration files: The Mach Interface Generator should be built in a subdirectory: - $ mkdir mig-build - $ cd mig-build + $ mkdir build + $ cd build Find the root directory where you installed GNU Mach's header files and where you now intend to install the Mach Interface Generator (_~/gnu_), and run -- cgit v1.2.3