allow -k multiple times
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 25 Nov 2008 14:47:46 +0000 (14:47 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 25 Nov 2008 14:47:46 +0000 (14:47 +0000)
commit67a71664bb85304c73a1af5010723a689aa269f8
treeb8e2545d4a6753e04346f502ac5cb61db130ba39
parent501729aaa7ce5180c77b05858aa57573281adb11
allow -k multiple times
build.sh