annotate doc/lispintro/mkinstalldirs @ 94855:9f97ae19a081

(ewoc): Require.
author Dan Nicolaescu <dann@ics.uci.edu>
date Sat, 10 May 2008 21:52:36 +0000
parents 88851c2eef53
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
83962
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 #! /bin/sh
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 # mkinstalldirs --- make directory hierarchy
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 # Author: Noah Friedman <friedman@prep.ai.mit.edu>
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 # Created: 1993-05-16
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 # Public domain
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 errstatus=0
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 for file
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 do
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 set fnord `echo ":$file" | sed -ne 's/^:\//#/;s/^://;s/\// /g;s/^#/\//;p'`
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 shift
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 pathcomp=
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 for d
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 do
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 pathcomp="$pathcomp$d"
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 case "$pathcomp" in
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 -* ) pathcomp=./$pathcomp ;;
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 esac
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 if test ! -d "$pathcomp"; then
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 echo "mkdir $pathcomp" 1>&2
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 mkdir "$pathcomp" || lasterr=$?
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 if test ! -d "$pathcomp"; then
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 errstatus=$lasterr
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 fi
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 fi
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 pathcomp="$pathcomp/"
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 done
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 done
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 exit $errstatus
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37
88851c2eef53 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 # mkinstalldirs ends here