Denis 'GNUtoo' Carikli
0057ddf2a1
Without that fix we have the following issue on PureOS byzantium:
$ resources/packages/coreboot/distclean
resources/packages/coreboot/distclean: 19:
resources/packages/coreboot/../../scripts/tasks/distclean.sh:
Bad substitution
resources/packages/coreboot/distclean: 20: .:
cannot open /../../..//resources/scripts/misc/sysexits.sh:
No such file
This happens because packages/coreboot/distclean uses #!/bin/sh and
that the default sh shell isn't using bash:
$ readlink $(which sh)
dash
and using bash instead works fine:
$ bash resources/packages/coreboot/distclean ; echo $?
0
all the other distclean scripts in packages/*/ have exactly the same
issue. The tests/distlean script is also affected since it also
sources the distclean task.
So we use #!/usr/bin/env bash as it work with both Guix and regular
more or less FHS compliant distributions.
This issue was introduced by the commit
|
||
|---|---|---|
| .. | ||
| cbutils | ||
| coreboot | ||
| crossgcc | ||
| dependencies | ||
| descriptors | ||
| flashrom | ||
| grub | ||
| ich9utils | ||
| memtest86plus | ||
| payloads | ||
| rom_images | ||
| roms | ||
| roms_helper | ||
| seabios | ||
| src | ||
| u-boot | ||
| u-boot-libre | ||