Fix some bugs in generation scripts

This commit is contained in:
mdiluzio 2015-01-10 16:56:42 +00:00
parent 06057e6e52
commit d65ef46634
2 changed files with 2 additions and 2 deletions

View file

@ -38,6 +38,6 @@ cat "$5" \
| sed -E 's/ ttrts -/ ttrts \\-/g' >> $TEMP
if [ ! -e $FILE ] || [ ! -z $( diff $FILE $TEMP ) ]; then
if [ ! -e $FILE ] || [ ! -z "$( diff $FILE $TEMP )" ]; then
mv -f $TEMP $FILE
fi