-
Notifications
You must be signed in to change notification settings - Fork 60
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Append random id to log files so they get ignored during git-diff #285
base: main
Are you sure you want to change the base?
Conversation
@dotnet/jit-contrib |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks like a reasonable approach to me.
Seems like kind of a hack. Is |
I agree. Better way is to just create separate logs folder for base and diff. With that, it will create 2 new folders
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
Looks from the code like you've gone with something closer to my suggestion, namely:
dasmset_62
|-- base
|-- logs
|-- diff
|-- logs
The title of this PR is now inaccurate.
For more complex structures the diff / base output may be directory trees (eg if you run jit-diff on the test tree). What happens then? You can test this by just creating a small directory tree and placing some test apps in the leaves and then using |
Here is how it produces with my latest change. It is not very pleasant...Do you want me to find the common ancestor and create log folders in that? binaries folder:
Output:
|
Everything goes under a You could create a new |
Today, when doing diff, we perform
git diff
onbase
anddiff
. These folders has.dasm
as well as.log
files. The.log
files are comparable in size. For e.g., they are 520MB while.dasm
files are 800MB. Once we dogit diff
, we then filter the diffs that are coming out of.dasm
files. Thus, we unnecessarily spend time diffing the.log
files. In #284, I added a way to ignore files if they are not present in both the folders. With that, I propose to add a random ID to the log files so they automatically get ignored when doinggit diff
and thus saving some time.