Skip to content
Snippets Groups Projects
Commit 4b08e044 authored by Christian Engwer's avatar Christian Engwer
Browse files

add a small hack to remove the symlink before the update and add it

again afterwards

... otherwise an update will fail if you run update on a directory
containing the symlink

[[Imported from SVN: r5638]]
parent ed84d167
No related branches found
No related tags found
No related merge requests found
...@@ -256,16 +256,23 @@ run_default_status () { ...@@ -256,16 +256,23 @@ run_default_status () {
} }
run_default_update () { run_default_update () {
DUNELINK=0
if test -L dune; then
rm dune
DUNELINK=1
fi
if test -d .svn; then if test -d .svn; then
svn update svn update
return elif test -d CVS; then
fi
if test -d CVS; then
cvs update -dP cvs update -dP
return else
echo "WARNING: $module is not under a known version control system."
echo " We support svn and cvs."
fi
if test "$DUNELINK" != 0 && ! test -d dune; then
echo "WARNING: $module is using the deprecated dune symlink"
ln -s . dune
fi fi
echo "WARNING: $module is not under a known version control system."
echo " We support svn and cvs."
} }
run_default_autogen () { run_default_autogen () {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment