diff options
| author | van Hauser <vh@thc.org> | 2021-04-16 13:53:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-16 13:53:08 +0200 |
| commit | 400ab10cfdfdb25235bf0483bc0fa0332ae11461 (patch) | |
| tree | c5f5c705b502109917f722ed79549e281f5a02c3 /afl-system-config | |
| parent | 98989f1088d04dd4c0d21834c38b7683f1cfb42d (diff) | |
| parent | 5dad04867461e93cefd1ecee6d336fa4d9ef632d (diff) | |
| download | afl++-400ab10cfdfdb25235bf0483bc0fa0332ae11461.tar.gz | |
Merge branch 'dev' into dev
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; }; \ |