diff options
Diffstat (limited to 'repos/core/linux-headers/build')
| -rw-r--r-- | repos/core/linux-headers/build | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/repos/core/linux-headers/build b/repos/core/linux-headers/build deleted file mode 100644 index f9c02fcf..00000000 --- a/repos/core/linux-headers/build +++ /dev/null @@ -1,6 +0,0 @@ -make mrproper -make headers -find usr/include -name '.*' -delete -rm usr/include/Makefile -mkdir -p $PKG/usr/include -cp -rv usr/include/* $PKG/usr/include |