summaryrefslogtreecommitdiff
path: root/contrib
diff options
context:
space:
mode:
authorTim King <tim.king@imag.fr>2015-02-12 12:04:57 +0100
committerTim King <tim.king@imag.fr>2015-02-12 14:10:43 +0100
commit6ecdf49ae2a75c76fc8d37c7d396cc777b2e3adf (patch)
treeb80edc399c6619bd53aad3943b273eb77909cc51 /contrib
parent6893a60697e86eebccda6cc8e2e92cea7ee654e3 (diff)
Changing CXXFLAGS for custom cln installation in configure.ac.
Making sure the CVC4 flags do not get overwritten after being set.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback