should install-sh be in git?
9 views
Skip to first unread message
Bjarke Roune
Sep 11, 2012, 7:59:42 AM9/11/12
to lela-...@googlegroups.com
If I do
git clone https://github.com/Singular/LELA.git
./autogen.sh
git status
I get
modified: install-sh
If install-sh is autogenerated and is automatically overwritten by autogen.sh, creating a different version, I suspect it is an error that install-sh is tracked in git. Is that right?
Cheers
Bjarke
git clone https://github.com/Singular/LELA.git
./autogen.sh
git status
I get
modified: install-sh
If install-sh is autogenerated and is automatically overwritten by autogen.sh, creating a different version, I suspect it is an error that install-sh is tracked in git. Is that right?
Cheers
Bjarke
Reply all
Reply to author
Forward
0 new messages