+# Allow host libstdc++ to be specified for static linking with PPL.
+
+# Check whether --with-host-libstdcxx or --without-host-libstdcxx was given.
+if test "${with_host_libstdcxx+set}" = set; then
+ withval="$with_host_libstdcxx"
+
+fi;
+
+case $with_host_libstdcxx in
+ no|yes)
+ { { echo "$as_me:$LINENO: error: -with-host-libstdcxx needs an argument" >&5
+echo "$as_me: error: -with-host-libstdcxx needs an argument" >&2;}
+ { (exit 1); exit 1; }; }
+ ;;
+esac