diff options
| -rwxr-xr-x | tools/configure | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index c265c1ef53..789f6c01db 100755 --- a/tools/configure +++ b/tools/configure | |||
| @@ -5,7 +5,6 @@ | |||
| 5 | # Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < < | 5 | # Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < < |
| 6 | # Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \ | 6 | # Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \ |
| 7 | # \/ \/ \/ \/ \/ | 7 | # \/ \/ \/ \/ \/ |
| 8 | # $Id$ | ||
| 9 | # | 8 | # |
| 10 | 9 | ||
| 11 | # global CC options for all platforms | 10 | # global CC options for all platforms |