When replacing Coq version info, display the replacement (#82)

mit-plv · Oct 18, 2022 · e62ff4f · e62ff4f
1 parent 87648b8
commit e62ff4f
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -33,7 +33,11 @@ clean::
 ifneq ($(COQ_EXTENDED_VERSION),$(COQ_EXTENDED_VERSION_OLD))
 $(COQ_VERSION_FILE)::
 	$(SHOW)'echo $$COQ_VERSION_INFO ($(COQ_VERSION)) > $@'
-	$(HIDE)echo "$(COQ_EXTENDED_VERSION)" > $@
+ifneq (,$(strip $(COQ_EXTENDED_VERSION_OLD)))
+	$(SHOW)'Replacing $(COQ_EXTENDED_VERSION_OLD)'
+	$(SHOW)' with $(COQ_EXTENDED_VERSION)'
+endif
+	$(HIDE)echo '$(COQ_EXTENDED_VERSION)' > $@
 endif
 
 _CoqProject: _CoqProject.in