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