From 67a71664bb85304c73a1af5010723a689aa269f8 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 25 Nov 2008 14:47:46 +0000
Subject: [PATCH] allow -k multiple times

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index f0275e7..b9351bf 100755
--- a/build.sh
+++ b/build.sh
@@ -153,7 +153,7 @@ function parse_command_line () {
 	    O) OUTPUT_BASE="$OPTARG" ;;
 	    o) OUTPUT_NAME="$OPTARG" ;;
 	    C) CUSTOM_DIR="$OPTARG" ;;
-	    k) KARGS_STR="$OPTARG" ;;
+	    k) KARGS_STR="$KARGS_STR $OPTARG" ;;
 	    n) DRY_RUN=true ;;
 	    h|*) usage ;;
 	esac
-- 
2.47.0