diff options
| author | Stefano Brivio <sbrivio@redhat.com> | 2023-06-09 18:52:16 +0200 |
|---|---|---|
| committer | Stefano Brivio <sbrivio@redhat.com> | 2023-06-09 18:52:38 +0200 |
| commit | d4757b140364cd277f7f7f373475eb427003cb42 (patch) | |
| tree | 159e5da9d3c9f151c99c25ec0e9bffc2222de970 /seitan-run | |
| parent | 65b5eacaa500e702b982c6848e1ffc18094bc9a9 (diff) | |
| download | seitan-d4757b140364cd277f7f7f373475eb427003cb42.tar seitan-d4757b140364cd277f7f7f373475eb427003cb42.tar.gz seitan-d4757b140364cd277f7f7f373475eb427003cb42.tar.bz2 seitan-d4757b140364cd277f7f7f373475eb427003cb42.tar.lz seitan-d4757b140364cd277f7f7f373475eb427003cb42.tar.xz seitan-d4757b140364cd277f7f7f373475eb427003cb42.tar.zst seitan-d4757b140364cd277f7f7f373475eb427003cb42.zip | |
cooker: Pass arguments to filter
Signed-off-by: Stefano Brivio <sbrivio@redhat.com>
Diffstat (limited to 'seitan-run')
| -rwxr-xr-x | seitan-run | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -36,6 +36,8 @@ trap cleanup EXIT INT [ -z "${SEITAN}" ] && echo "seitan not found" && exit 1 "${COOKER}" "${1}" "${DIR}/gluten" "${DIR}/bpf" +echo "Cooked files now at ${DIR}" + shift ( "${EATER}" -i "${DIR}/bpf" -- ${@} & echo "${!}" > "${DIR}/eater.pid" 2>&1 ) & sleep 0.1 || sleep 1 |