| Index: src/tlcl/Makefile
|
| diff --git a/src/tlcl/Makefile b/src/tlcl/Makefile
|
| index 791ff5da1fec74dad1f8ab34f20d53d221033929..e384aa90d4ddd19646d8049817249d9ee51f082b 100644
|
| --- a/src/tlcl/Makefile
|
| +++ b/src/tlcl/Makefile
|
| @@ -28,7 +28,7 @@ update-structures: generator
|
| cp structures.tmp structures.h )
|
|
|
| update-version:
|
| - find \( -name '*.[ch]' -o -name 'Makefile*' \) -a \! -name version.h \
|
| + find \( -name '*.[ch]' -o -name 'Makefile' \) -a \! -name version.h \
|
| | sort | xargs cat | md5sum | cut -c 25-32 > x.tmp
|
| echo "char* TlclVersion = \"TLCLv=$$(cat x.tmp)\";" > version.tmp
|
| cmp -s version.tmp version.h || \
|
|
|