configure: Chose right target-os for iOS

diff --git a/configure.ac b/configure.ac
index ecc2135..10fb8ac 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -355,6 +355,9 @@ else
       *android*)
         target_os=linux
       ;;
+      *darwin*)
+        target_os=darwin
+      ;;
       *)
         target_os=`echo $host_os | sed 's/-gnu//'`
       ;;