diff options
| -rw-r--r-- | build.config.user | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/build.config.user b/build.config.user new file mode 100644 index 0000000..023db6c --- /dev/null +++ b/build.config.user @@ -0,0 +1,10 @@ +. ${ROOT_DIR}/build.config +POST_DEFCONFIG_CMDS="check_defconfig && update_nodebugfs_config" + +function update_nodebugfs_config() { + # Disable debug fs options + ${KERNEL_DIR}/scripts/config --file ${OUT_DIR}/.config \ + -d DEBUG_FS + (cd ${OUT_DIR} && \ + make O=${OUT_DIR} CLANG_TRIPLE=${CLANG_TRIPLE} CROSS_COMPILE=${CROSS_COMPILE} "${TOOL_ARGS[@]}" ${MAKE_ARGS} olddefconfig) +} |