Use common fail() instead of exit
authorGeorgios Gousios <gousiosg@gmail.com>
Tue, 14 Feb 2012 09:41:46 +0000 (11:41 +0200)
committerGeorgios Gousios <gousiosg@gmail.com>
Tue, 14 Feb 2012 09:42:14 +0000 (11:42 +0200)
commitbfd0f0a792dcdfdfa713ab559526c2b8cf0d8be3
treeabb3c811fb16cc2dd07f1b3b43c4c9cf8097b9b6
parente0832f4cca09e7a35d8ec4a8d73ed78fadecb5cc
Use common fail() instead of exit
make-dist.sh