libatomic_ops: bump to version 7.2
authorThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Sat, 17 Nov 2012 12:24:02 +0000 (12:24 +0000)
committerPeter Korsgaard <jacmet@sunsite.dk>
Sat, 17 Nov 2012 22:41:48 +0000 (23:41 +0100)
commitb2ed6a0564946932ebfc6eaf2470d333bf188f62
tree9e535bbdab9f34484f8513cc6ad6a45a9f515179
parent517e5395a187d9c6b7dc322ee15f7b75f5ffe7fc
libatomic_ops: bump to version 7.2

The 1.2 we were using doesn't build on ARM Thumb platforms:

  http://autobuild.buildroot.org/results/94ef6be7dcb31021462e7313724217627d4b29df/build-end.log

Moreover, the 7.2 version is the one used by Debian/Ubuntu, and it has
been tested to build fine with the two packages that depend on
libatomic_ops: libdrm and pulseaudio.

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
package/libatomic_ops/libatomic_ops.mk