diff options
| -rw-r--r-- | Build/source/utils/asymptote/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/utils/asymptote/Makefile.in b/Build/source/utils/asymptote/Makefile.in index 53bc2d5f9c8..de8d08125e7 100644 --- a/Build/source/utils/asymptote/Makefile.in +++ b/Build/source/utils/asymptote/Makefile.in @@ -114,7 +114,7 @@ asy: version fi version: $(GCLIB) $(FILES:=.o) - if test ! -e revision.cc -o "$(revision)" != "$(last)"; then \ + if test ! -s revision.cc -o "$(revision)" != "$(last)"; then \ echo $(REVISION)\"$(revision)\"\; > revision.cc; \ fi $(CXX) $(OPTS) $(INCL) -o revision.o -c revision.cc; |