build scripts: support for separate build and source directories

This commit is contained in:
bgerofi@riken.jp
2014-10-20 17:47:12 +09:00
committed by Balazs Gerofi bgerofi@riken.jp
parent 11947a4ce3
commit 658ff759ef
6 changed files with 1752 additions and 1494 deletions

View File

@ -142,6 +142,7 @@ AC_CONFIG_FILES([
executer/user/Makefile
executer/kernel/Makefile
kernel/Makefile
kernel/Makefile.build
arch/x86/tools/mcreboot-attached-mic.sh
arch/x86/tools/mcshutdown-attached-mic.sh
arch/x86/tools/mcreboot.1:arch/x86/tools/mcreboot.1in