From a9c026e8f2b8bdc9ccd68bfffcb20d41add432eb Mon Sep 17 00:00:00 2001 From: Romain Tartiere Date: Sat, 26 Jun 2010 13:45:46 +0000 Subject: [PATCH] Workaround a FreeBSD-specific bug in cutter. --- test/run-test.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/test/run-test.sh b/test/run-test.sh index daafcf1..2c8bc7b 100755 --- a/test/run-test.sh +++ b/test/run-test.sh @@ -10,4 +10,8 @@ if test -z "$CUTTER"; then CUTTER="`make -s -C "$BASE_DIR" echo-cutter`" fi -"$CUTTER" -s "$BASE_DIR" "$@" "$BASE_DIR" +"$CUTTER" --keep-opening-modules -s "$BASE_DIR" "$@" "$BASE_DIR" +# ^^^^^^^^^^^^^^^^^^^^^^ +# FIXME: Remove this workaround once cutter has been fixed upstream. +# Bug report: +# http://sourceforge.net/mailarchive/forum.php?thread_name=20100626123941.GA258%40blogreen.org&forum_name=cutter-users-en