On 31-7-2014 12:29, Erwin Rol wrote:
> On 31-7-2014 12:26, Michael Olbrich wrote:
>> On Thu, Jul 31, 2014 at 12:20:29PM +0200, Erwin Rol wrote:
>>> On 31-7-2014 12:07, Michael Olbrich wrote:
>>>> On Thu, Jul 31, 2014 at 11:34:14AM +0200, Erwin Rol wrote:
>>>>> I am trying the git ptxdist-2014.07.0 (and master too) version of
>>>>> ptxdist and get an error while building it.
>>> It works until the very last commit of the release;
>>>
>>> e993b7af1c2faf11d0ce005a437fd64e854f2608
>>>
>>> That commit is the first where it fails.
>>
>> What's the output of those git commands before and after the change for you?
> 
> [erwin@eir ptxdist]$ git rev-parse --verify --short HEAD 2>/dev/null
> e993b7a
> [erwin@eir ptxdist]$ git -c core.abbrev=12 rev-parse --verify --short
> HEAD 2>/dev/null
> [erwin@eir ptxdist]$ git describe 2>/dev/null
> ptxdist-2014.07.0
> [erwin@eir ptxdist]$ git -c core.abbrev=12 describe 2>/dev/null
> [erwin@eir ptxdist]$ git --version
> git version 1.7.1
> [erwin@eir ptxdist]$
> 
> 
> - Erwin
> 
> 

[erwin@eir ptxdist]$ git -c core.abbrev=12 rev-parse --verify --short HEAD
Unknown option: -c
usage: git [--version] [--exec-path[=GIT_EXEC_PATH]] [--html-path]
           [-p|--paginate|--no-pager] [--no-replace-objects]
           [--bare] [--git-dir=GIT_DIR] [--work-tree=GIT_WORK_TREE]
           [--help] COMMAND [ARGS]
[erwin@eir ptxdist]$ git -c core.abbrev=12 describe
Unknown option: -c
usage: git [--version] [--exec-path[=GIT_EXEC_PATH]] [--html-path]
           [-p|--paginate|--no-pager] [--no-replace-objects]
           [--bare] [--git-dir=GIT_DIR] [--work-tree=GIT_WORK_TREE]
           [--help] COMMAND [ARGS]
[erwin@eir ptxdist]$


- Erwin




-- 
ptxdist mailing list
[email protected]

Reply via email to