#! /bin/sh # script generated Fri Mar 11 09:57:13 GMT 2016 by configure.sh test -d "$1" || mkdir -p "$1" exit 0