[Debian-in-commits] [SCM] Git repository for debian-in branch, master, updated. 80b6bcf9e2dbc11abfb92e4147899ad8dae89a49

[Vasudev Kamath]

The following commit has been merged in the master branch:
commit 80b6bcf9e2dbc11abfb92e4147899ad8dae89a49
Author: Vasudev Kamath <kamathvasudev at gmail.com>
Date:   Thu Jan 12 21:37:26 2012 +0530

    set -e instead of set -x

diff --git a/docs/edit-version.sh b/docs/edit-version.sh
index b824aca..023548b 100755
--- a/docs/edit-version.sh
+++ b/docs/edit-version.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-set -x
+set -e
 
 if [ $# -eq 1 ];then
     echo "Usage: edit-version.sh fonts-package[s]"

-- 
Git repository for debian-in