diff options
author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-09-25 13:56:37 +0100 |
---|---|---|
committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-09-26 14:49:19 +0100 |
commit | aed28005d38d2c0f5e64eaaf455bdd419d2453b2 (patch) | |
tree | 7965ca17c01d0adefd2e78f6bec805fe34333d59 /distbuild | |
parent | edf589f356930ab47a04fec39bfcf55bac10329c (diff) | |
download | definitions-aed28005d38d2c0f5e64eaaf455bdd419d2453b2.tar.gz |
Use linux-api-headers from Linux 3.8
The 'make mrproper' command now requires GNU Bash, but since we start
from a clean Git checkout of linux.git we can just remove that from the
build command list.
Diffstat (limited to 'distbuild')
0 files changed, 0 insertions, 0 deletions