diff options
| -rwxr-xr-x | etc/config.sub | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/etc/config.sub b/etc/config.sub index 9dfd22ef..f0fe968e 100755 --- a/etc/config.sub +++ b/etc/config.sub @@ -1,6 +1,10 @@ #!/bin/sh -# assume a correct target input: this should always be the case -# in the context of midipix_build; then, for compatibility, output -# the target name. +# -echo "$1" +case "${1}" in +x86_64) echo x86_64-pc-none; ;; +x86_64-nt64-midipix) echo x86_64-nt64-midipix; ;; +*) echo "${1}"; ;; +esac; + +# vim:filetype=sh |