diff --git a/base-linux/run/lx_hybrid_pthread_ipc.run b/base-linux/run/lx_hybrid_pthread_ipc.run index 2554e9798..689bd28d5 100644 --- a/base-linux/run/lx_hybrid_pthread_ipc.run +++ b/base-linux/run/lx_hybrid_pthread_ipc.run @@ -46,3 +46,4 @@ build_boot_image $boot_modules run_genode_until "--- finished pthread IPC test ---.*\n" 10 +puts "Test succeeded"