diff options
| author | Florian Dold <florian@dold.me> | 2024-02-22 15:36:56 +0100 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2024-02-22 15:36:56 +0100 |
| commit | 1ebaa0c4056366a8a90b3832f9176aacec323446 (patch) | |
| tree | 41eb31fe445e3c0567fc5e3082f6c363883415e7 /contrib/taler-terms-generator | |
| parent | 653dabdb63822ad8df2eb42571dd073a47fc9bba (diff) | |
taler-terms-generator: fix incremental build check
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 |