diff options
-rw-r--r-- | crawl-ref/dolinks.sh | 5 | ||||
-rw-r--r-- | crawl-ref/domake.sh | 6 |
2 files changed, 9 insertions, 2 deletions
diff --git a/crawl-ref/dolinks.sh b/crawl-ref/dolinks.sh index 46815055b0..ed4fd2cb6f 100644 --- a/crawl-ref/dolinks.sh +++ b/crawl-ref/dolinks.sh @@ -3,6 +3,7 @@ mkdir -p NORMAL mkdir -p WIZARD -pushd NORMAL ; ln -s ../source/*.h ../source/*.cc ../source/makefile* . ; popd -pushd WIZARD ; ln -s ../source/*.h ../source/*.cc ../source/makefile* . ; popd +pushd NORMAL ; ln -s ../source/util . ; ln -s ../source/*.h ../source/*.cc ../source/makefile* . ; popd +pushd WIZARD ; ln -s ../source/util . ; ln -s ../source/*.h ../source/*.cc ../source/makefile* . ; popd +ln -s source/dat dat diff --git a/crawl-ref/domake.sh b/crawl-ref/domake.sh index a523e0b3b6..31e5a26938 100644 --- a/crawl-ref/domake.sh +++ b/crawl-ref/domake.sh @@ -10,3 +10,9 @@ fi if [ -f WIZARD/crawl ]; then ln -sf WIZARD/crawl wcrawl fi + +if [ -d dat/lua ]; then + true +else + cp -r source/lua dat/lua +fi |