bios: use puts for long string
authorSebastien Bourdeauducq <sebastien@milkymist.org>
Sun, 17 Feb 2013 15:21:25 +0000 (16:21 +0100)
committerSebastien Bourdeauducq <sebastien@milkymist.org>
Sun, 17 Feb 2013 15:21:25 +0000 (16:21 +0100)
software/bios/main.c

index 20ffd0d08c0f1fd3776bcea7c4bc9519555b87e2..b81ce6871e5464efe1227d486ef665f3393994f9 100644 (file)
@@ -427,7 +427,7 @@ static const char banner[] =
        "Built "__DATE__" "__TIME__"\n\n"
        "This program is free software: you can redistribute it and/or modify\n"
        "it under the terms of the GNU General Public License as published by\n"
-       "the Free Software Foundation, version 3 of the License.\n";
+       "the Free Software Foundation, version 3 of the License.";
 
 static void readstr(char *s, int size)
 {
@@ -520,7 +520,7 @@ int main(int i, char **c)
        irq_setmask(0);
        irq_setie(1);
        uart_init();
-       printf(banner);
+       puts(banner);
        crcbios();
        if(rescue)
                printf("Rescue mode\n");