diff options
| author | van Hauser <vh@thc.org> | 2021-04-20 11:38:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-20 11:38:09 +0200 |
| commit | 48cef3c74727407f82c44800d382737265fe65b4 (patch) | |
| tree | 07338ec82703c20cc1f78a235ac3ad16e2465bf1 /afl-system-config | |
| parent | f7179e44f6c46fef318b6413d9c00693c1af4602 (diff) | |
| parent | 3b5fa3632b0e482b2915709d7fbec827e1d997b9 (diff) | |
| download | afl++-48cef3c74727407f82c44800d382737265fe65b4.tar.gz | |
Merge pull request #871 from AFLplusplus/dev
push to stable
Diffstat (limited to 'afl-system-config')
| -rwxr-xr-x | afl-system-config | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/afl-system-config b/afl-system-config index ae37a062..5ad9d937 100755 --- a/afl-system-config +++ b/afl-system-config @@ -98,7 +98,9 @@ if [ "$PLATFORM" = "Darwin" ] ; then DONE=1 fi if [ "$PLATFORM" = "Haiku" ] ; then - SETTINGS=~/config/settings/system/debug_server/settings + DEBUG_SERVER_DIR=~/config/settings/system/debug_server + [ ! -d ${DEBUG_SERVER_DIR} ] && mkdir -p ${DEBUG_SERVER_DIR} + SETTINGS=${DEBUG_SERVER_DIR}/settings [ -r ${SETTINGS} ] && grep -qE "default_action\s+kill" ${SETTINGS} && { echo "Nothing to do"; } || { \ echo We change the debug_server default_action from user to silently kill; \ [ ! -r ${SETTINGS} ] && echo "default_action kill" >${SETTINGS} || { mv ${SETTINGS} s.tmp; sed -e "s/default_action\s\s*user/default_action kill/" s.tmp > ${SETTINGS}; rm s.tmp; }; \ |
