1 files changed, 5 insertions, 70 deletions

diff --git a/tools/configure b/tools/configure
index 2b7b55fbed..06fe30d91d 100755
--- a/tools/configure
+++ b/tools/configure
@@ -242,28 +242,6 @@ arm9tdmicc () {
  endian="little"
 }
 
-whichaddr () {
-    case $archos in
-    gmini120|gminisp)
-        echo ""
-        echo "Where do you want the firmware to be flashed?"
-        echo "WARNING: Do not answer this question lightly,"
-        echo "unless you don't plan to flash your gmini."
-        echo "In this case, reply '0x10000' (no quotes) and "
-        echo "re-configure when you know better."
-        loadaddress=`input`
-
-        if [ "0$loadaddress" = "0" ]; then
-            #default
-            loadaddress="0x10000";
-        fi
-        echo "You selected $loadaddress"
-        ;;
-    *)
-        ;;
-    esac
-}
-
 whichdevel () {
   ##################################################################
   # Prompt for specific developer options
@@ -595,10 +573,9 @@ cat <<EOF
   1) Recorder          11) H320/H340          21) Nano         
   2) FM Recorder       12) iHP-100/110/115    22) Video        
   3) Recorder v2       13) iFP-790            23) 3G           
-  4) Gmini 120         14) H10 20Gb           24) 4G Grayscale 
-  5) Gmini SP          15) H10 5/6Gb          25) Mini 1G      
-  6) Ondio SP                                 26) Mini 2G      
-  7) Ondio FM                                 
+  4) Ondio SP          14) H10 20Gb           24) 4G Grayscale 
+  5) Ondio FM          15) H10 5/6Gb          25) Mini 1G      
+                                              26) Mini 2G      
 
  ==iAudio==            ==Toshiba==            ==SanDisk==      
  30) X5/X5V/X5L        40) Gigabeat F         50) Sansa e200   
@@ -737,47 +714,7 @@ EOF
     toolset=$archosbitmaptools
     ;;
 
-   4|gmini120)
-    target_id=5
-    archos="gmini120"
-    target="-DARCHOS_GMINI120"
-    memory=16 # fixed size (16 is a guess, remove comment when checked)
-    calmrisccc
-    tool="cp" # might work for now!
-    bmp2rb_mono="$rootdir/tools/bmp2rb -f 0"
-    bmp2rb_native="$rootdir/tools/bmp2rb -f 0"
-    output="rockbox.gmini"
-    appextra="recorder:gui"
-    archosrom=""
-    flash=""
-    plugins="" # disabled for now, enable later on
-    codecs="libmad"
-    # toolset is the tools within the tools directory that we build for
-    # this particular target.
-    toolset="$toolset bmp2rb codepages"
-    ;;
-
-   5|gminisp)
-    target_id=6
-    archos="gminisp"
-    target="-DARCHOS_GMINISP"
-    memory=16 # fixed size (16 is a guess, remove comment when checked)
-    calmrisccc
-    tool="cp" # might work for now!
-    bmp2rb_mono="$rootdir/tools/bmp2rb -f 0"
-    bmp2rb_native="$rootdir/tools/bmp2rb -f 0"
-    output="rockbox.gmini"
-    appextra="recorder:gui"
-    archosrom=""
-    flash=""
-    plugins="" # disabled for now, enable later on
-    codecs="libmad"
-    # toolset is the tools within the tools directory that we build for
-    # this particular target.
-    toolset="$toolset bmp2rb codepages"
-    ;;
-
-   6|ondiosp)
+   4|ondiosp)
     target_id=7
     archos="ondiosp"
     target="-DARCHOS_ONDIOSP"
@@ -796,7 +733,7 @@ EOF
     toolset=$archosbitmaptools
     ;;
 
-   7|ondiofm)
+   5|ondiofm)
     target_id=8
     archos="ondiofm"
     target="-DARCHOS_ONDIOFM"
@@ -1387,8 +1324,6 @@ if [ -z "$debug" ]; then
   GCCOPTS="$GCCOPTS $GCCOPTIMIZE"
 fi
 
-whichaddr
-
 echo "Using source code root directory: $rootdir"
 
 # this was once possible to change at build-time, but no more: