Do not use pushd/popd

This commit is contained in:
Maximilian Luz 2020-01-20 00:03:41 +01:00
parent b6a8f377c4
commit f5f2ce8e23
No known key found for this signature in database
GPG key ID: 70EC0937F6C26F02

View file

@ -86,18 +86,16 @@ jobs:
env:
KERNEL_VERSION: 5.4.13
run: |
pushd pkg/debian
cd pkg/debian
# download sources
wget https://cdn.kernel.org/pub/linux/kernel/v${KERNEL_VERSION%%.*}.x/linux-$KERNEL_VERSION.tar.xz
tar xf linux-$KERNEL_VERSION.tar.xz
mv linux-$KERNEL_VERSION linux
popd
- name: Apply patches
run: |
pushd pkg/debian/linux
cd pkg/debian/linux
# apply build patches
for PATCH in ./*.patch; do patch -p1 < ${PATCH}; done
@ -105,11 +103,9 @@ jobs:
# apply surface patches
for PATCH in ../../../patches/${KERNEL_VERSION%.*}/*.patch; do patch -p1 < ${PATCH}; done
popd
- name: Configure
run: |
pushd pkg/debian/linux
cd pkg/debian/linux
# copy config
cp ../debian.config .config
@ -117,8 +113,6 @@ jobs:
# update config
make olddefconfig
popd
- name: Build
run: |
export LOCALVERSION="-surface"