gfdgd-xi/gxde-kernel-manager
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Change Config

Browse Source
This commit is contained in:
gfdgd xi
2023-07-04 09:10:19 +08:00
parent 0c284b3ce5
commit 191bffb75f
1 changed files with 9 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
build_action.sh
View File

@@ -42,11 +42,16 @@ if [[ $? == 0 ]]; then
fi fi
# #
# disable DEBUG_INFO to speedup build # disable DEBUG_INFO to speedup build
scripts/config --disable DEBUG_INFO # scripts/config --disable DEBUG_INFO
scripts/config --set-str SYSTEM_TRUSTED_KEYS "" scripts/config --set-str SYSTEM_TRUSTED_KEYS ""
# apply patches scripts/config --set-str SYSTEM_REVOCATION_KEYS ""
# shellcheck source=src/util.sh scripts/config --undefine DEBUG_INFO
# source ../patch.d/*.sh scripts/config --undefine DEBUG_INFO_COMPRESSED
scripts/config --undefine DEBUG_INFO_REDUCED
scripts/config --undefine DEBUG_INFO_SPLIT
scripts/config --undefine GDB_SCRIPTS
scripts/config --set-val DEBUG_INFO_DWARF5 n
scripts/config --set-val DEBUG_INFO_NONE y
# build deb packages # build deb packages
CPU_CORES=$(($(grep -c processor < /proc/cpuinfo)*2)) CPU_CORES=$(($(grep -c processor < /proc/cpuinfo)*2))