Changeset 138612 in git


Ignore:
Timestamp:
Jan 27, 2015, 8:04:49 PM (9 years ago)
Author:
Jakob Kröker <kroeker@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
52a01d339a6b3235b8c72306c4bbd4079100a4a9
Parents:
f999689a0462639ba7b739684fd5d5bf45a2cab3
Message:
use g++ instead of gcc for libcddgmp check - otherwise the check fails on some systems
File:
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.