#! /bin/sh
# script generated Fr 6. Feb 22:07:23 CET 2015 by configure.sh

test -d "$1" || mkdir -p "$1"
exit 0