1 files changed, 19 insertions, 0 deletions
diff --git a/lib/kernel/test/os_SUITE_data/my_echo.c b/lib/kernel/test/os_SUITE_data/my_echo.c
new file mode 100644
index 0000000000..2127511dd1
--- /dev/null
+++ b/lib/kernel/test/os_SUITE_data/my_echo.c
@@ -0,0 +1,19 @@
+#include <stdio.h>
+
+int
+main(int argc, char** argv)
+{
+    char* sep = "";
+
+    /*
+     * Echo all arguments separated with '::', so that we can check that
+     * quotes are interpreted correctly.
+     */
+
+    while (argc-- > 1) {
+	printf("%s%s", sep, argv++[1]);
+	sep = "::";
+    }
+    putchar('\n');
+    return 0;
+}