# HG changeset patch
# User HackBot
# Date 1434092763 0
# Node ID bd2306290d78ec76cedc8b343857176a2505b495
# Parent  e5c870daf4802cabbaaebcf16a133ae4252d4933
<shachaf> mk bin/mke//key=$(mk "$@") && echo "$key" || exit; chmod +x "$key"

diff -r e5c870daf480 -r bd2306290d78 bin/mke
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/mke	Fri Jun 12 07:06:03 2015 +0000
@@ -0,0 +1,1 @@
+key=$(mk "$@") && echo "$key" || exit; chmod +x "$key"