Changeset c03f8a5 for src/compdic/compdic-update-fst

Timestamp:

01/12/15 19:08:07 (10 years ago)

Author:

Tomasz Obrebski <obrebski@…>

Branches:

master

Parents:

854bece

git-author:

Tomasz Obrebski <obrebski@…> (01/12/15 19:08:07)

git-committer:

Tomasz Obrebski <obrebski@…> (01/12/15 19:08:07)

Message:

minor fixes

File:

• src/compdic/compdic-update-fst (modified) (2 diffs)

src/compdic/compdic-update-fst

@@ -1 +1 @@
 #! /bin/bash
+
+set -e
 
 if [ $# -lt 2 ]
@@ -34 +36 @@
 echo updating $dict ...
 
+if ! (( `cat $dicminus $dicplus | wc -l` ))
+then
+        echo "Empty diff."
+        exit 1
+fi
+
 if (( `cat $dicminus | wc -l` ))
 then