Fix up Omorfi clone in Docker image

frankier · May 14, 2020 · a219a59 · a219a59
1 parent bfce459
commit a219a59
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/docker/install-omorfi.sh b/docker/install-omorfi.sh
@@ -1,7 +1,6 @@
 set -ex
-git clone https://github.com/frankier/omorfi.git
+git clone --depth 1 https://github.com/frankier/omorfi.git --branch rm-homonym-num --single-branch
 cd omorfi
-git checkout rm-homonym-num
 ./autogen.sh
 ./configure --enable-labeled-segments --enable-segmenter --enable-hyphenator --enable-lemmatiser --without-java
 make