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 |