On 2017-04-05 13:41, Ronald S. Bultje wrote: > Hi, > > On Tue, Apr 4, 2017 at 9:53 PM, James Darnley <jdarn...@obe.tv> wrote: > >> The labels get stripped leading to (slightly) nicer disassembly from >> objdump. >> > [..] > >> - jz .cycle%1end >> + jz %%skip > > > Can you preserve the leading dot? I don't mind the %%skip, but please make > it .%%skip.
That makes the patch pointless because those symbols don't get stripped. If you want the leading dot then I will drop this patch. _______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
