From 67847a4c01c370c4cc7b8b198371087ab0778ad0 Mon Sep 17 00:00:00 2001 From: Danny Robson Date: Thu, 31 Oct 2019 16:10:37 +1100 Subject: [PATCH] stdout: add a simple stdout redirector --- stdout.sh | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100755 stdout.sh diff --git a/stdout.sh b/stdout.sh new file mode 100755 index 0000000..2da244b --- /dev/null +++ b/stdout.sh @@ -0,0 +1,12 @@ +#!/bin/sh + +# A trivial script that takes an output file as the first argument, an +# executable as the second, and subsequent arguments. stdout is piped to the +# output file. +# +# This is used to workaround CMake's inflexible output options for custom +# targets. + +dst=$1 +shift 1 +exec $@ > $dst