diff options
author | David Lawrence Ramsey <dolorous@users.sourceforge.net> | 2009-10-18 11:17:18 -0500 |
---|---|---|
committer | David Lawrence Ramsey <dolorous@users.sourceforge.net> | 2009-10-18 11:17:18 -0500 |
commit | 2a3df39505710bd8a94475207bf4ee70a8c2c360 (patch) | |
tree | 6a4333de3d9e45ac5579120f02590b86121553b2 /crawl-ref/dolinks.sh | |
parent | ae52274c9546defedffab7b70f4b0069d865c09e (diff) | |
download | crawl-ref-2a3df39505710bd8a94475207bf4ee70a8c2c360.tar.gz crawl-ref-2a3df39505710bd8a94475207bf4ee70a8c2c360.zip |
And generate source/build.h unconditionally, in case there have been new
commits.
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 |