# HG changeset patch
# User HackBot
# Date 1454978069 0
# Node ID ac0b17a58520f977065bc73994eed21643c9e9ef
# Parent  b0f1ed22cea5ec7f4c997c0842054095faa61846
<fizzie> ` sed -i -e \'s|exit 1|exit 1;|\' bin/mk

diff -r b0f1ed22cea5 -r ac0b17a58520 bin/mk
--- a/bin/mk	Tue Feb 09 00:33:22 2016 +0000
+++ b/bin/mk	Tue Feb 09 00:34:29 2016 +0000
@@ -1,1 +1,1 @@
-[[ "$1" == ?*//* ]] || { echo usage: $0 file//contents >&2; exit 1 }; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"
+[[ "$1" == ?*//* ]] || { echo usage: $0 file//contents >&2; exit 1; }; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key"