The 8169 and mii from gpxe now build
[akaros.git] / scripts / etherboot / PATCH
1 #!/bin/sh
2 set -e
3 # idempotent unless marked otherwise
4 spatch --sp-file scripts/etherboot/scalar.cocci --in-place $1
5 spatch --sp-file scripts/etherboot/func.cocci --in-place $1
6 spatch --sp-file scripts/etherboot/io.cocci --in-place $1
7 sed -i '/FILE_LICENCE/d' $1
8