diff options
| author | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-03 19:45:28 -0400 |
|---|---|---|
| committer | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-03 19:45:28 -0400 |
| commit | e0f350c7d6e3af901097e43fe2c1bc0efb237f60 (patch) | |
| tree | fbecc434716712e947dded7cdec119b6d05ad711 /microkernel/mach/mig | |
| parent | af52b8b7b4f3c096fd8abed7e901b57f07c419a2 (diff) | |
rename build directories to 'build'
Diffstat (limited to 'microkernel/mach/mig')
| -rw-r--r-- | microkernel/mach/mig/gnu_mig/building.mdwn | 4 |
1 files changed, 2 insertions, 2 deletions
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 |