cosmetics

diff --git a/TODO b/TODO
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/checkfiles b/checkfiles
index 6336fdae50029728f3616e10bd89df1b9c72dbf7..9c8f36a3963c2b3f4aa561ce237bed6dbc5c11bf 100755 (executable)
--- a/checkfiles
+++ b/checkfiles
@@ -1,6 +1,6 @@
 #!/bin/sh
 # run from the prerm and postinst
-set -ex
+set -e
 
 script=$1
 mode=$2