summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/utils/asymptote/Makefile.in2
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;