diff options
Diffstat (limited to 'contrib/taler-terms-generator')
-rwxr-xr-x | contrib/taler-terms-generator | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/taler-terms-generator b/contrib/taler-terms-generator index 4f348ae7b..26cfd775b 100755 --- a/contrib/taler-terms-generator +++ b/contrib/taler-terms-generator @@ -234,7 +234,7 @@ fi # As a heuristic for incremental builds, we only check the text output file. if [[ "$INCREMENTAL" -eq 1 ]] then - if [[ "$VERSION" -ot "${OUTPUT}/buildstamp" ]]; + if [[ "${VERSION}.rst" -ot "${OUTPUT}/buildstamp" ]]; then echo "Not rebuilding, input file $VERSION is older than $OUTPUT/buildstamp." exit 0 |