version 1.7, 2006/10/13 11:51:25 |
version 1.8, 2007/12/10 16:02:37 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/src/util/oxfetch.sh,v 1.6 2006/10/12 10:45:37 takayama Exp $ |
# $OpenXM: OpenXM/src/util/oxfetch.sh,v 1.7 2006/10/13 11:51:25 ohara Exp $ |
|
|
MASTER_SITES="ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/" |
MASTER_SITES="ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/" |
fetch="wget --no-directories --passive-ftp --timestamping" |
fetch="wget --no-directories --passive-ftp --timestamping" |
|
|
} |
} |
|
|
_fetch () { |
_fetch () { |
if [ "distfile" != "" -a ! -f "$distdir/$distfile" ]; then |
if [ "$distfile" != "" -a ! -f "$distdir/$distfile" ]; then |
(cd $distdir; $fetch $url) |
(cd $distdir; $fetch $url) |
fi |
fi |
} |
} |