diff options
Diffstat (limited to 'stone_soup/crawl-ref/domake.sh')
-rw-r--r-- | stone_soup/crawl-ref/domake.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/stone_soup/crawl-ref/domake.sh b/stone_soup/crawl-ref/domake.sh deleted file mode 100644 index a523e0b3b6..0000000000 --- a/stone_soup/crawl-ref/domake.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh -#jmf: automate making normal & wizard binaries, until they merge -#jmf: N.B.: requires symlink directories; run ./dolinks.sh to make - -pushd NORMAL && make && popd && pushd WIZARD && make wizard ; popd - -if [ -f NORMAL/crawl ]; then - ln -sf NORMAL/crawl ncrawl -fi -if [ -f WIZARD/crawl ]; then - ln -sf WIZARD/crawl wcrawl -fi |