Create the bin/ directory if non-existent

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.1@13643 85f007b7-540e-0410-9357-904b9bb8a0f7
coq · Nov 17, 2010 · a224316 · a224316
1 parent 2df1092
commit a224316
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/configure b/configure
@@ -9,6 +9,9 @@
 VERSION=8.1
 DATE=`LANG=C date +"%B %Y"`
 
+# Create the bin/ directory if non-existent
+test -d bin || mkdir bin
+
 # a local which command for sh
 which () {
 IFS=":" # set words separator in PATH to be ':' (it allows spaces in dirnames)