9os

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit bbd6bc7688f51afd78fd5eb248783ad9adf5248f
parent 2815e0853b7d3938a0776b3edb9834ea27c664c1
Author: Dimitris Papastamos <dimitris.papastamos@arm.com>
Date:   Wed, 17 Oct 2018 14:15:09 +0100

Use puts() instead of printf()

Change-Id: Id48f0ac41bccd3c7f54cca276a79e1da1f85b1f4
Signed-off-by: Dimitris Papastamos <dimitris.papastamos@arm.com>

Diffstat:
Mtest/test1/genrmu.sh | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/test1/genrmu.sh b/test/test1/genrmu.sh @@ -10,7 +10,7 @@ genfile() void $1(void) { - printf("$1\n"); + puts("$1"); } FILE }