diff options
| -rwxr-xr-x | crawl-ref/dolinks.sh | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/crawl-ref/dolinks.sh b/crawl-ref/dolinks.sh index 072555e7bc..ed4ecac43d 100755 --- a/crawl-ref/dolinks.sh +++ b/crawl-ref/dolinks.sh @@ -1,10 +1,18 @@ #!/usr/bin/env bash +dolinks() { + mkdir -p source + cd source + ln -sf ../../source/*.{cc,h} . + ln -sf ../../source/makefile* . + ln -sf ../../source/{util,contrib,rltiles,prebuilt,dat} . +} + mkdir -p NORMAL mkdir -p WIZARD -pushd NORMAL ; mkdir -p source ; cd source ; ln -sf ../../source/* . ; popd -pushd WIZARD ; mkdir -p source ; cd source ; ln -sf ../../source/* . ; popd +pushd NORMAL ; dolinks ; popd +pushd WIZARD ; dolinks ; popd if [ -d dat ]; then true |