From 49c9fade7a5fddeb8d20821cbd402833cd4eadb3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tim=20R=C3=BChsen?= Date: Sun, 2 Jul 2017 21:23:10 +0200 Subject: [PATCH] Fix fuzz/run-clang.sh for CTRL-C --- fuzz/run-clang.sh | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) 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"