kind2-mc/kind2 — pull request #199 by moy (2014-12-18 16:50:15+00:00)
Title: build.sh: $* -> "$@"

The $* syntax fails in case the user calls the script with arguments
containing spaces, eg. build.sh --prefix '/home/My Software/'. The "$@"
syntax just does the right thing.