genode/libports/ports/stdcxx.inc
Christian Prochaska c39e5557c5 libports: stdcxx 4.7.2 update
Fixes #469.
2012-11-14 16:55:33 +01:00

3 lines
65 B
PHP

STDCXX_VERSION = 4.7.2
STDCXX = stdcxx-$(STDCXX_VERSION)