strip off .sh suffix

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
Nico Schottelius 2010-08-16 17:26:53 +02:00
parent f2ba643ecd
commit 101a523313