chiark / gitweb /
add invoke
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 4 Nov 2016 15:38:05 +0000 (15:38 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 4 Nov 2016 15:38:05 +0000 (15:38 +0000)
README
invoke [new file with mode: 0755]

diff --git a/README b/README
index 2e5b8f1214a1ee2a052a5c31cd163085e51b1120..053aea41a588a9b2b3ff27ed2132e2116eb0a7eb 100644 (file)
--- a/README
+++ b/README
@@ -1,7 +1,3 @@
-./generate | ../dpkg/src/dpkg --filter-valid-versions | ./escape | ./check 
-
-
-
 Copyright 2016 Ian Jackson
 Consider all of this GPLv2-or-later
 There is NO WARRANTY
diff --git a/invoke b/invoke
new file mode 100755 (executable)
index 0000000..1f928f9
--- /dev/null
+++ b/invoke
@@ -0,0 +1,9 @@
+#!/bin/bash
+set -o pipefail
+set -ex
+
+./generate 4 | ../dpkg/src/dpkg --filter-valid-versions | ./escape | ./check 
+
+echo ok
+
+