equal
deleted
inserted
replaced
27 # autoconf system (which might easily get lost in a future update), we |
27 # autoconf system (which might easily get lost in a future update), we |
28 # wrap it and fix the broken property, if needed. |
28 # wrap it and fix the broken property, if needed. |
29 |
29 |
30 DIR=`dirname $0` |
30 DIR=`dirname $0` |
31 |
31 |
32 # First, filter out everything that doesn't begin with "aarch64-" |
32 # Allow wsl |
|
33 if echo $* | grep x86_64-pc-wsl >/dev/null ; then |
|
34 echo $* |
|
35 exit |
|
36 fi |
|
37 |
|
38 # Filter out everything that doesn't begin with "aarch64-" |
33 if ! echo $* | grep '^aarch64-' >/dev/null ; then |
39 if ! echo $* | grep '^aarch64-' >/dev/null ; then |
34 . $DIR/autoconf-config.sub "$@" |
40 . $DIR/autoconf-config.sub "$@" |
35 # autoconf-config.sub exits, so we never reach here, but just in |
41 # autoconf-config.sub exits, so we never reach here, but just in |
36 # case we do: |
42 # case we do: |
37 exit |
43 exit |