diff --git a/fuzz/run-clang.sh b/fuzz/run-clang.sh index dc52268..0b31557 100755 --- a/fuzz/run-clang.sh +++ b/fuzz/run-clang.sh @@ -1,4 +1,4 @@ -#!/bin/sh -e +#!/bin/bash -e # # Copyright(c) 2017 Tim Ruehsen # @@ -22,6 +22,15 @@ # # This file is part of libpsl. +trap ctrl_c INT + +ctrl_c() { + if test -n "$sudo"; then + ./${fuzzer} -merge=1 ${fuzzer}.in ${fuzzer}.new + rm -rf ${fuzzer}.new + fi +} + if test -z "$1"; then echo "Usage: $0 " echo "Example: $0 libpsl_fuzzer"