+ i?86-*-mingw32* | \
+ x86_64-*-mingw32*)
+ # We only want to fix stdlib.h in mingw.
+ # FIXME: Is SED available on mingw?
+ (cat > ${target} << EOF
+#! /bin/sh
+
+OUTPUT_DIR=\$1
+if [ "x\$OUTPUT_DIR" = "x" ]; then
+ echo fixincludes: no output directory specified
+ exit 1
+fi
+
+if [ ! -d \$OUTPUT_DIR ]; then
+ echo fixincludes: output dir \"\$OUTPUT_DIR\" is an invalid directory
+ exit 1
+fi
+
+INPUT_DIR=\$2
+if [ "x\$INPUT_DIR" = "x" ]; then
+ echo fixincludes: no input directory specified
+ exit 1
+fi
+
+if [ ! -d \$INPUT_DIR ]; then
+ echo fixincludes: input dir \"\$INPUT_DIR\" is an invalid directory
+ exit 1
+fi
+
+INPUT_STDLIB_H=\$INPUT_DIR/stdlib.h
+if [ ! -f \$INPUT_STDLIB_H ]; then
+ echo fixincludes: \"stdlib.h\" is an invalid file
+ exit 1
+fi
+
+OUTPUT_STDLIB_H=\$OUTPUT_DIR/stdlib.h
+sed -e "s/\(.*_rotl.*\)/#if __GNUC__ < 4 || (__GNUC__ == 4 \&\& __GNUC_MINOR__ < 5)\n\1/" \
+ -e "s/\(.*_lrotr.*\)/\1\n#else\n\#include <x86intrin.h>\n#endif/" \
+ \$INPUT_STDLIB_H > \$OUTPUT_STDLIB_H
+
+exit 0
+EOF
+)
+ ;;
+