--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/redirect	Sun Aug 21 23:15:11 2016 -0400
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+# Redirect stdout to a file.
+#
+# A hack until glib-genmarshal and glib-mkenums work better
+# with meson.
+#
+# Usage:
+#   ./redirect "name of output file" ./command to run and args
+
+output=$1
+shift
+"$@" > $output
+exit $?