bug#33667: Ingen fails to build

2018-12-08 Thread Ricardo Wurmus
Fixed with commit f9dcf79f4. -- Ricardo

bug#33667: Ingen fails to build

2018-12-07 Thread Thorsten Wilms
... phase `patch-usr-bin-file' succeeded after 0.0 seconds starting phase `patch-source-shebangs' patch-shebang: ./scripts/ingen.py: changing `/usr/bin/env python' to `/gnu/store/r68bi4640vm0s7zsgyk7shsag8ibl3nc-python-wrapper-3.7.0/bin/python' patch-shebang: ./scripts/ingenams: changing `/usr/bin