Tools/GCCProxy - -dumpversion/-dumpspecs used by netsurf

diff --git a/Tools/GCCProxy/gccproxy.sh b/Tools/GCCProxy/gccproxy.sh
index 7448d38..5a126a9 100755 (executable)
--- a/Tools/GCCProxy/gccproxy.sh
+++ b/Tools/GCCProxy/gccproxy.sh
@@ -16,6 +16,8 @@ _miscargs=""
 _compile=0
 _linktype=Applications
 
+echo [GCCProxy] $* >&2
+
 while [[ $# -gt 0 ]]; do
        case "$1" in
        -E)
@@ -65,6 +67,14 @@ while [[ $# -gt 0 ]]; do
                echo $0 --inv=ld
                exit 0
                ;;
+       -dumpspecs)
+               _compile=1
+               _miscargs=$_miscargs" $1"
+               ;;
+       -dumpversion)
+               _compile=1
+               _miscargs=$_miscargs" $1"
+               ;;
        *)
                _miscargs=$_miscargs" $1"
                ;;