1 diff -urN pulseaudio-0.9.7/configure pulseaudio-0.9.7.new/configure
2 --- pulseaudio-0.9.7/configure 2007-10-30 17:02:51.000000000 +0100
3 +++ pulseaudio-0.9.7.new/configure 2007-11-11 20:39:27.000000000 +0100
4 @@ -29636,8 +29636,7 @@
7 { { echo "$as_me:$LINENO: error: *** libatomic-ops headers not found" >&5
8 -echo "$as_me: error: *** libatomic-ops headers not found" >&2;}
9 - { (exit 1); exit 1; }; }
10 +echo "$as_me: error: *** libatomic-ops headers not found" >&2;} }