configure
changeset 7621 5a09c1166d89
parent 7620 c6d18ee93e34
child 7635 2b14e2121700
--- a/configure	Fri Aug 19 16:06:07 2016 +0200
+++ b/configure	Fri Aug 19 16:25:15 2016 +0200
@@ -224,6 +224,10 @@
     --no-example-certs)
       EXCERTS=
       ;;
+   --compiler-wrapper=*)
+      CC="$value $CC"
+      LD="$value $LD"
+      ;;
    *)
       echo "Error: Unknown flag: $1"
       exit 1