# HG changeset patch
# User HackBot
# Date 1434092805 0
# Node ID 35b8e834741effd59b2514d70799a494901991ce
# Parent  bd2306290d78ec76cedc8b343857176a2505b495
<shachaf> mk bin/mke//key=$(mk "$@") && echo "$key" && chmod +x "$key"

diff -r bd2306290d78 -r 35b8e834741e bin/mke
--- a/bin/mke	Fri Jun 12 07:06:03 2015 +0000
+++ b/bin/mke	Fri Jun 12 07:06:45 2015 +0000
@@ -1,1 +1,1 @@
-key=$(mk "$@") && echo "$key" || exit; chmod +x "$key"
+key=$(mk "$@") && echo "$key" && chmod +x "$key"