diff options
Diffstat (limited to 'stone_soup/crawl-ref/dolinks.sh')
| -rw-r--r-- | stone_soup/crawl-ref/dolinks.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/stone_soup/crawl-ref/dolinks.sh b/stone_soup/crawl-ref/dolinks.sh deleted file mode 100644 index 46815055b0..0000000000 --- a/stone_soup/crawl-ref/dolinks.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh - -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 - |