projects
/
postgis
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
171c02d
)
Added a sleep before running make dist
author
Sandro Santilli
<strk@keybit.net>
Wed, 12 Jan 2005 09:23:43 +0000
(09:23 +0000)
committer
Sandro Santilli
<strk@keybit.net>
Wed, 12 Jan 2005 09:23:43 +0000
(09:23 +0000)
git-svn-id: http://svn.osgeo.org/postgis/trunk@1285
b70326c6
-7e19-0410-871a-
916f4a2858ee
make_dist.sh
patch
|
blob
|
history
diff --git
a/make_dist.sh
b/make_dist.sh
index 2a2b9e4695e5866e9d6d96814c5f7f1db32a55fa..070cfd5c509bb5f4349dd80ece4e359301044e79 100644
(file)
--- a/
make_dist.sh
+++ b/
make_dist.sh
@@
-39,6
+39,7
@@
rm -Rf $outdir/regress
echo "Generating documentation"
owd="$PWD"
cd "$outdir"/doc
+sleep 2 # wait some time to have 'make' recognize it needs to build html
make html
if [ $? -gt 0 ]; then
exit 1