diff options
| author |   Alexey Neyman <stilor@att.net> | 2019-02-20 08:46:29 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2019-02-20 08:46:29 (GMT) |
| commit | 9627a041d25e56de06c4eab0ac4af72975b08113 (patch) | |
| tree | 03298bac0fd9ddd09ba38ea385f4ad8f709ed490 /scripts/functions | |
| parent | 7d621cd831e4fb015fa151437051192135337006 (diff) | |
| parent | 8088c6ef4733d0b9fff9cd538c7f2c745434f149 (diff) | |
Merge pull request #1143 from stilor/rc2-fixes-2
RC2 fixes, part 2
Diffstat (limited to 'scripts/functions')
| -rw-r--r-- | scripts/functions | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/functions b/scripts/functions index e577b9d..fecdad2 100644 --- a/scripts/functions +++ b/scripts/functions @@ -1419,6 +1419,7 @@ CT_KconfigSetOption() { local value="$2" local file="$3" + CT_DoLog DEBUG "${file}: set ${option}=${value}" ${grep} -E -q "^${option}=.*" "${file}" && \ ${sed} -i -r -e "s;^${option}=.*$;${option}=${value};" "${file}" || \ ${grep} -E -q "^# ${option} is not set$" "${file}" && \ @@ -1441,6 +1442,7 @@ CT_KconfigDisableOption() { local option="${1}" local file="${2}" + CT_DoLog DEBUG "${file}: disable ${option}" ${grep} -E -q "^# ${option} is not set$" "${file}" || \ ${grep} -E -q "^${option}=.*$" "${file}" && \ ${sed} -i -r -e "s;^${option}=.*$;# ${option} is not set;" "${file}" || \ @@ -1454,6 +1456,7 @@ CT_KconfigDeleteOption() { local option="${1}" local file="${2}" + CT_DoLog DEBUG "${file}: delete ${option}" ${grep} -E -q "^# ${option} is not set$" "${file}" && \ ${sed} -i -r -e "/^# ${option} is not set$/d" "${file}" || \ ${grep} -E -q "^${option}=.*$" "${file}" && \ |