X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tools%2Focamldriver.sh;h=792330c02dbdfb7037062029fae2cf00bd16cd13;hb=b57556aee8b43d71a919decb9682dd293aba4933;hp=2425147bf75ac52e77f7efc65460ebfd923133d7;hpb=2b85475321db7b38d4df0869fb51d38d98bb6671;p=tatoo.git

diff --git a/tools/ocamldriver.sh b/tools/ocamldriver.sh
index 2425147..792330c 100644
--- a/tools/ocamldriver.sh
+++ b/tools/ocamldriver.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-EXT=${target%?}
+EXT=${target#*.cm}
 dirname=${base%/*}
 
 if test -f "$dirname".pack; then