From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 24 Jul 2013 21:59:01 +0000 (+0200)
Subject: Fix invalid variable substitution in buildscript.
X-Git-Tag: v0.1~61
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=57d93cea4d7dbd1ae5ee706b216fd42a1795de29

Fix invalid variable substitution in buildscript.
---

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