[cvc4] (2 commits) Created branch sharkcz-secondary-arch

Dan Horák sharkcz at fedoraproject.org
Thu Mar 6 11:26:02 UTC 2014

Previous message: [mingw-lcms2] windows.h must be lowercase
Next message: [cvc4/sharkcz-secondary-arch: 1/2] allow build without gperftools
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The branch 'sharkcz-secondary-arch' was created.

Summary of new commits:

  6f20269... allow build without gperftools
  ee6164b... catch also s390{,x} whose triplet is s390{,x}-ibm-linux-gnu

Previous message: [mingw-lcms2] windows.h must be lowercase
Next message: [cvc4/sharkcz-secondary-arch: 1/2] allow build without gperftools
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list