blob: 91366f2c7347b91b6bef01c61103a0ff4d88250c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
diff --git a/tools/extras/install_irstlm.sh b/tools/extras/install_irstlm.sh
index b27f0f898..652043c06 100755
--- a/tools/extras/install_irstlm.sh
+++ b/tools/extras/install_irstlm.sh
@@ -28,7 +28,6 @@ else
echo "****() Assuming IRSTLM is already installed. Please delete"
echo "****() the directory ./irstlm if you need us to download"
echo "****() the sources again."
- exit 0
fi
(
|