#! /bin/sh

# usage: insuredir DIR

# Creates DIR if it does not exist; also creates all necessary
# parent directories.

dir=$1
if [ ! -d "$dir" ] ; then
  # Make all necessary directories.
  Ds="$dir"
  D="$dir"
  while
      D=`expr "$D//" : "\(.*\)/[^/]*//"`
      test \( ! -d "$D"  \) -a \( ! "$D" = "" \)
  do
      Ds="$D $Ds"
  done
  mkdir $Ds
fi
