diff options
author | David Lawrence Ramsey <dolorous@users.sourceforge.net> | 2009-10-18 11:13:14 -0500 |
---|---|---|
committer | David Lawrence Ramsey <dolorous@users.sourceforge.net> | 2009-10-18 11:13:14 -0500 |
commit | ae52274c9546defedffab7b70f4b0069d865c09e (patch) | |
tree | 79d99268e2ebefe688798132e15c5d17fad370ee /crawl-ref/dolinks.sh | |
parent | a3a669433252adacf24aac36f7e7962117ad16f4 (diff) | |
download | crawl-ref-ae52274c9546defedffab7b70f4b0069d865c09e.tar.gz crawl-ref-ae52274c9546defedffab7b70f4b0069d865c09e.zip |
Make dolinks.sh generate source/build.h before generating source links,
if the former doesn't exist.
Diffstat (limited to 'crawl-ref/dolinks.sh')
-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 |