diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/configure b/tools/configure index d9ca2e89e7..ed284617cf 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -996,9 +996,6 @@ fi | |||
996 | recorderv2) | 996 | recorderv2) |
997 | archos="recorderv2fm" | 997 | archos="recorderv2fm" |
998 | ;; | 998 | ;; |
999 | ondio??) | ||
1000 | archos="ondio" | ||
1001 | ;; | ||
1002 | h1??) | 999 | h1??) |
1003 | archos="h1xx" | 1000 | archos="h1xx" |
1004 | ;; | 1001 | ;; |