Preserve file modification time when stripping debug symbols

livecodefraser · livecodefraser · commit 49cfa4cf0def · 2015-04-30T12:38:22.000+01:00
diff --git a/tools/extract-debug-symbols.sh b/tools/extract-debug-symbols.sh
@@ -24,7 +24,7 @@ for input in $inputs ; do
 	fi
 	
 	# Add a hint for the debugger so it can find the debug info
-	$OBJCOPY --remove-section=.gnu_debuglink "$input"
+	$OBJCOPY --preserve-dates --remove-section=.gnu_debuglink "$input"
 	$OBJCOPY --preserve-dates --add-gnu-debuglink="$output" "$input"
 done
 
