Added snark14m distribution examples
[snark14.git] / examples / b2 / run
diff --git a/examples/b2/run b/examples/b2/run
new file mode 100755 (executable)
index 0000000..f710f63
--- /dev/null
@@ -0,0 +1,2 @@
+./build >&2
+bin/snark14UserDefined  b2.in