diff options
| -rwxr-xr-x | tools/configure | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/tools/configure b/tools/configure index f868c52..8118858 100755 --- a/tools/configure +++ b/tools/configure @@ -265,16 +265,6 @@ if [ -z "$archos" ]; then archosrom="" ;; - *) - archos="recorder" - target="-DARCHOS_RECORDER" - shcc - tool="scramble" - output="ajbrec.ajz" - appextra="recorder" - archosrom="$pwd/rombox.ucl" - ;; - 3) archos="fmrecorder" target="-DARCHOS_FMRECORDER" @@ -326,6 +316,16 @@ if [ -z "$archos" ]; then archosrom="" ;; + *) + archos="recorder" + target="-DARCHOS_RECORDER" + shcc + tool="scramble" + output="ajbrec.ajz" + appextra="recorder" + archosrom="$pwd/rombox.ucl" + ;; + esac echo "Platform set to $archos" |