diff options
-rw-r--r-- | crawl-ref/dolinks.sh | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/crawl-ref/dolinks.sh b/crawl-ref/dolinks.sh index d958944dbd..d327470fe6 100644 --- a/crawl-ref/dolinks.sh +++ b/crawl-ref/dolinks.sh @@ -3,8 +3,17 @@ mkdir -p NORMAL mkdir -p WIZARD -pushd NORMAL ; ln -s ../source/rltiles . ; ln -s ../source/util . ; ln -s ../source/*.h ../source/*.cc ../source/makefile* . ; popd -pushd WIZARD ; ln -s ../source/rltiles . ; ln -s ../source/util . ; ln -s ../source/*.h ../source/*.cc ../source/makefile* . ; popd +pushd NORMAL ; ln -sf ../source/rltiles . ; ln -sf ../source/util . ; ln -sf ../source/*.h ../source/*.cc ../source/makefile* . ; popd +pushd WIZARD ; ln -sf ../source/rltiles . ; ln -sf ../source/util . ; ln -sf ../source/*.h ../source/*.cc ../source/makefile* . ; popd -ln -s source/rltiles tiles -ln -s source/dat dat +if [ -L tiles ]; then + true +else + ln -sf source/rltiles tiles +fi + +if [ -L dat ]; then + true +else + ln -sf source/dat dat +fi |