1 files changed, 6 insertions, 0 deletions

diff --git a/b b/b
new file mode 100755
index 00000000..52dfa76f
--- /dev/null
+++ b/b
@@ -0,0 +1,6 @@
+#! /bin/bash
+python waf $@
+sts=$?
+exit $sts
+
+