diff options
Diffstat (limited to 'crawl-ref/dolinks.sh')
-rwxr-xr-x | crawl-ref/dolinks.sh | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/crawl-ref/dolinks.sh b/crawl-ref/dolinks.sh index 425985774a..0f3a13029a 100755 --- a/crawl-ref/dolinks.sh +++ b/crawl-ref/dolinks.sh @@ -1,10 +1,6 @@ #!/usr/bin/env bash -if [ -f source/build.h ]; then - true -else - source/util/gen_ver.pl source/build.h -fi +source/util/gen_ver.pl source/build.h mkdir -p NORMAL mkdir -p WIZARD |