| 
					
				 | 
			
			
				@@ -131,6 +131,22 @@ run_child( 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   COMMAND ${GIT} submodule update 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   ) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+# Save the first revision name. 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+execute_process( 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+  WORKING_DIRECTORY ${TOP}/user-source 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+  COMMAND ${GIT} rev-parse HEAD 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+  OUTPUT_VARIABLE revision1 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+  OUTPUT_STRIP_TRAILING_WHITESPACE 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+  ) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+ 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+#----------------------------------------------------------------------------- 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+# Create an empty commit. 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+message("Creating empty commit...") 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+run_child( 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+  WORKING_DIRECTORY ${TOP}/user-source 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+  COMMAND ${GIT} commit --allow-empty -m "Empty commit" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+  ) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+ 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 #----------------------------------------------------------------------------- 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 # Make changes in the working tree. 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 message("Changing content...") 
			 | 
		
	
	
		
			
				| 
					
				 | 
			
			
				@@ -196,7 +212,7 @@ macro(rewind_source src_dir) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   message("Backing up to revision 1...") 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   run_child( 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     WORKING_DIRECTORY ${TOP}/${src_dir} 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-    COMMAND ${GIT} reset --hard origin/master~2 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+    COMMAND ${GIT} reset --hard ${revision1} 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     ) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   run_child( 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     WORKING_DIRECTORY ${TOP}/${src_dir} 
			 | 
		
	
	
		
			
				| 
					
				 | 
			
			
				@@ -261,7 +277,7 @@ execute_process( 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   ) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 execute_process( 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   WORKING_DIRECTORY \"${TOP}/dash-source\" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-  COMMAND \"${GIT}\" reset --hard master~2 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+  COMMAND \"${GIT}\" reset --hard ${revision1} 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   ) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 execute_process( 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   WORKING_DIRECTORY \"${TOP}/dash-source\" 
			 |