--- a/Admin/makedist Thu Jul 17 17:10:53 2008 +0200 +++ b/Admin/makedist Thu Jul 17 17:11:34 2008 +0200 @@ -37,6 +37,7 @@ NAME specifies an explicit distribution name, by default it is derived from VERSION. + EOF exit 1 }