diff -r 794cceb5dc82 -r ebcd79fc658d common/makefiles/Main.gmk
--- a/common/makefiles/Main.gmk	Thu Jun 20 10:16:25 2013 -0700
+++ b/common/makefiles/Main.gmk	Tue Jun 25 09:37:46 2013 +0200
@@ -192,7 +192,7 @@
 $(OUTPUT_ROOT)/source_tips: FRC
 	@$(MKDIR) -p $(@D)
 	@$(RM) $@
-	@$(if $(HG),$(call GetSourceTips),$(ECHO) "hg not installed" > $@)
+	@$(call GetSourceTips)
 
 
 # Remove everything, except the output from configure.