wbhart/flint2 — pull request #42 by jpflori (2014-02-03 14:12:31+00:00)
Title: Fix test for empty string in Makefile.in.

if [ -z ]; then echo "bla"; fi
fails on solaris.
Reported by Volker Braun at http://trac.sagemath.org/ticket/15574#comment:27.