diff --git a/Tools/GCCProxy/gccproxy.sh b/Tools/GCCProxy/gccproxy.sh index 1b0dfbe4f859b57ea39b1a0f90792a3992b48fae..410a47680f86ce225d20fb37244e84b2d68bde75 100755 --- a/Tools/GCCProxy/gccproxy.sh +++ b/Tools/GCCProxy/gccproxy.sh @@ -73,6 +73,10 @@ while [[ $# -gt 0 ]]; do echo $0 --inv=ld exit 0 ;; + -print-multi-os-directory) + _compile=1 + _cflags=$_cflags" $1" + ;; -dumpspecs) _compile=1 _miscargs=$_miscargs" $1"