fix broken linux build
authorS. Davilla <davilla@4pi.com>
Sat, 2 Nov 2013 15:51:03 +0000 (11:51 -0400)
committerS. Davilla <davilla@4pi.com>
Sat, 2 Nov 2013 15:51:03 +0000 (11:51 -0400)
commitb70b41e897d0d924d954be5328b5e0c49fb72626
tree7a599913518a3bac9c53d52a4bea742118736c74
parentdb42be64c3724db1fb1e8d4b9917fe2027f26670
fix broken linux build
configure.in