diff options
Diffstat (limited to 'build-aux/stack.sh')
| -rwxr-xr-x | build-aux/stack.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/build-aux/stack.sh b/build-aux/stack.sh deleted file mode 100755 index 4a8a12e..0000000 --- a/build-aux/stack.sh +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh -make >&2 && find build -name '*.ci' -exec cat -- {} + | python ./stack.py |