chiark / gitweb /
fix invocation lengths
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 4 Nov 2016 15:41:23 +0000 (15:41 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 4 Nov 2016 15:41:23 +0000 (15:41 +0000)
generate.c
invoke

index d5d457bc78cacd0f3ceca135ed690fc04e9d7af8..881b594861ab643f9c2cb41a61b1017306a4b51e 100644 (file)
@@ -32,7 +32,7 @@ int main(int argc, char **argv) {
 
   assert(maxlen <= ML);
 
-  for (len=0; len<maxlen; len++) {
+  for (len=0; len<=maxlen; len++) {
     fprintf(stderr,"********** generating len=%d **********\n",len);
     gen(sofar, len);
   }
diff --git a/invoke b/invoke
index 1f928f99c10dc64f308f6a8322c66a7bb41998e0..fc67da9063f752764a623bbf7aed84d0d7735228 100755 (executable)
--- a/invoke
+++ b/invoke
@@ -2,8 +2,8 @@
 set -o pipefail
 set -ex
 
-./generate 4 | ../dpkg/src/dpkg --filter-valid-versions | ./escape | ./check 
+./generate "$@" | ../dpkg/src/dpkg --filter-valid-versions | ./escape | ./check 
 
-echo ok
+echo '*** OK EVERYTHING IS FINE ***'