[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

can we remove generated files from git?

From: Per Bothner
Subject: can we remove generated files from git?
Date: Tue, 1 Jan 2019 16:06:33 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.3.1

These files seem to be always out of date:


This makes 'git status' and 'git diff' a pain.

Can we remove them from the git repository, and add them to .gitignore ?

There may be other generated files, but they don't change as soon
as I try autogen.sh+configure+make.
        --Per Bothner
address@hidden   http://per.bothner.com/

reply via email to

[Prev in Thread] Current Thread [Next in Thread]