diff --git a/Changes b/Changes
index d013f6335..c58cbfca9 100644
--- a/Changes
+++ b/Changes
@@ -45,6 +45,8 @@ indicates the contributor was also the author of the fix; Thanks!
 
 ****  Fix svdpi.h compile error on Apple OS.
 
+****  Fix compile error under git submodules, bug534. [Aurelien Francillon]
+
 
 * Verilator 3.833 2012/04/15
 
diff --git a/src/Makefile.in b/src/Makefile.in
index 9d619d7a7..4b0f33295 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -65,12 +65,14 @@ dbg: ../verilator_bin_dbg
 	cd obj_dbg && $(MAKE)       TGT=../$@ VL_DEBUG=1 -f ../Makefile_obj
 
 prefiles::
-
-ifneq ($(UNDER_GIT),)	# If local git tree... Else don't burden users
 prefiles:: config_rev.h
+ifneq ($(UNDER_GIT),)	# If local git tree... Else don't burden users
 # This output goes into srcdir if locally configured, as we need to distribute it as part of the kit.
 config_rev.h:	${srcdir}/config_rev.pl ${srcdir}/../.git/logs/HEAD
 	$(PERL) ${srcdir}/config_rev.pl ${srcdir} >$@
+else
+config_rev.h:	${srcdir}/config_rev.pl
+	$(PERL) ${srcdir}/config_rev.pl ${srcdir} >$@
 endif
 
 maintainer-copy::
diff --git a/src/config_rev.pl b/src/config_rev.pl
index d1eeff029..a1c92a2d0 100755
--- a/src/config_rev.pl
+++ b/src/config_rev.pl
@@ -33,4 +33,4 @@ if ($data =~ /Changed but not updated/i
 print "static const char* DTVERSION_rev = \"$rev\";\n";
 
 # Die after the print, so at least the header has good contents
-$rev =~ /UNKNOWN/ and die "%Error: No git revision found,";
+$rev =~ /UNKNOWN/ and warn "%Warning: No git revision found,";